mirror of
https://github.com/dimitri/el-get.git
synced 2024-09-29 21:18:59 +08:00
61f72466c3
Proof General has moved to GitHub, see http://coq-club.inria.narkive.com/Dp5A2NzL/proof-general-has-moved-to-github#post1
12 lines
494 B
Plaintext
12 lines
494 B
Plaintext
(:name proof-general
|
|
:description "A generic Emacs interface for interactive proof assistants."
|
|
:type github
|
|
:pkgname "ProofGeneral/PG"
|
|
:build `(("make" "clean")
|
|
("make" ,(concat "EMACS=" el-get-emacs) "compile")
|
|
("makeinfo" "doc/ProofGeneral.texi" "-o" "doc")
|
|
("makeinfo" "doc/PG-adapting.texi" "-o" "doc"))
|
|
:info "doc"
|
|
:load "generic/proof-site.el"
|
|
:website "http://proofgeneral.inf.ed.ac.uk/")
|