aboutsummaryrefslogtreecommitdiff
path: root/math/proofgeneral
Commit message (Expand)AuthorAgeFilesLines
* Remove USE_REINPLACE from ports starting with MEdwin Groothuis2006-05-101-1/+0
* - Add USE_EMACS=yes. It should present in all emacsen ports.Sergey Matveychuk2006-05-061-0/+1
* - Update to 3.6Sergey Matveychuk2006-05-019-108/+126
* SHA256ifyEdwin Groothuis2006-01-221-0/+1
* Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtryEdwin Groothuis2006-01-221-1/+1
* BROKEN on amd64: Does not buildKris Kennaway2005-10-281-0/+4
* Fix plist.Simon Barner2005-09-151-0/+3
* Fix build:Simon Barner2005-09-152-7/+35
* Add proofgeneral 3.5, a generic interface for proof assistants.Simon Barner2005-08-3110-0/+715