aboutsummaryrefslogtreecommitdiff
path: root/math/proofgeneral/pkg-plist
Commit message (Expand)AuthorAgeFilesLines
* * Remove the direct inclusion of bsd.emacs.mkAndrey Slusar2007-02-061-341/+451
* Fix plist and unbroken port.Andrey Slusar2006-11-111-1/+0
* - Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhatSergey Matveychuk2006-05-161-0/+1
* - Update to 3.6Sergey Matveychuk2006-05-011-16/+73
* Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtryEdwin Groothuis2006-01-221-1/+1
* Fix plist.Simon Barner2005-09-151-0/+3
* Add proofgeneral 3.5, a generic interface for proof assistants.Simon Barner2005-08-311-0/+380