gitback/el-get
1
0
Fork 0
mirror of https://github.com/dimitri/el-get.git synced 2024-09-29 13:08:51 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #482 from 23Skidoo/patch-1

Browse Source 
ProofGeneral: Use the 4.2 branch snapshot that is compatible with Emacs 24.
This commit is contained in:
Dimitri Fontaine 2012-01-02 06:26:07 -08:00
commit f112bc8a65
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
recipes/ProofGeneral.rcp
View File

@ -3,7 +3,7 @@
: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"
:url "http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2pre111207.tgz"
:build ("cd ProofGeneral && make clean" "cd ProofGeneral && make compile")
:load ("ProofGeneral/generic/proof-site.el")
:info "./ProofGeneral/doc/")