mirror of
https://github.com/dimitri/el-get.git
synced 2024-09-30 05:29:52 +08:00
10 lines
519 B
Plaintext
10 lines
519 B
Plaintext
(:name ProofGeneral ;; Requires Emacs >= 23.3
|
|
:website "http://proofgeneral.inf.ed.ac.uk/"
|
|
:description "Proof General is a generic front-end for proof assistants (also known as interactive theorem provers)"
|
|
:type http-tar
|
|
:options ("xzf")
|
|
:url "http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.1RC2.tgz"
|
|
:build ("cd ProofGeneral && make clean" "cd ProofGeneral && make compile")
|
|
:load ("ProofGeneral/generic/proof-site.el")
|
|
:info "./ProofGeneral/doc/")
|