aboutsummaryrefslogtreecommitdiffstats
path: root/math/proofgeneral/pkg-plist
Commit message (Expand)AuthorAgeFilesLines
* - Remove manual creation and removal of share/applications, as it's now in th...amdmi32013-10-221-1/+0
* - Don't delete gnomehier directoriesbdrewery2013-04-161-2/+0
* - Fix packaging by removing unneeded PACKAGE_BUILDING hackbdrewery2013-03-311-2/+2
* - Update to 4.1scheidell2012-04-201-375/+56
* [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1edwin2008-08-151-0/+6
* - Update to 3.7rafan2008-04-041-505/+525
* Presenting GNOME 2.20.1 and all related works for FreeBSD. The officialmarcus2007-10-251-5/+6
* * Remove the direct inclusion of bsd.emacs.mkanray2007-02-071-341/+451
* Fix plist and unbroken port.anray2006-11-121-1/+0
* - Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhatsem2006-05-161-0/+1
* - Update to 3.6sem2006-05-021-16/+73
* Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtryedwin2006-01-221-1/+1
* Fix plist.barner2005-09-161-0/+3
* Add proofgeneral 3.5, a generic interface for proof assistants.barner2005-08-311-0/+380