First of all, big thanks to the Proof General team for creating such a
wonderful piece of software! I really can't imagine interactive theorem
proving without it, and I appreciate the effort all the more considering that
the kind of people who use theorem provers would probably rather be spendi
If you use DariwinPorts on a Mac, here is a modified Portfile to
fetch/compile/install the Proof General release candidate. However, it
probably cannot be used until Trac issue #369 is dealt with. I have
attached a (really ugly) patch to that ticket; if you apply the patch
then the Portfile will
Here's an updated Portfile including a patch up to today's CVS (which
fixes Issue 369). REMEMBER TO UNINSTALL THE OLD PROOF GENERAL FIRST or
you will get weird behavior.
sudo port uninstall ProofGeneral
sudo port install
the last line will search the current directory for the Portfile to