2011-06-22 22:14:22 +08:00
|
|
|
(:name ProofGeneral ;; Requires Emacs >= 23.3
|
2011-06-24 23:58:43 +08:00
|
|
|
:website "http://proofgeneral.inf.ed.ac.uk/"
|
|
|
|
:description "Proof General is a generic front-end for proof assistants (also known as interactive theorem provers)"
|
2011-06-22 22:14:22 +08:00
|
|
|
:type http-tar
|
|
|
|
:options ("xzf")
|
2011-12-21 22:05:44 +08:00
|
|
|
:url "http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2pre111207.tgz"
|
2011-06-22 22:14:22 +08:00
|
|
|
:build ("cd ProofGeneral && make clean" "cd ProofGeneral && make compile")
|
|
|
|
:load ("ProofGeneral/generic/proof-site.el")
|
|
|
|
:info "./ProofGeneral/doc/")
|