summaryrefslogtreecommitdiffstats
path: root/math/proofgeneral
Commit message (Expand)AuthorAgeFilesLines
* - Welcome X.org 7.2 \o/.flz2007-05-191-1/+1
* Now appears to build on amd64kris2007-04-011-4/+0
* Fix deinstall and unbroke port.anray2007-03-052-4/+3
* BROKEN: Incomplete pkg-plistkris2007-02-271-0/+2
* * Remove the direct inclusion of bsd.emacs.mkanray2007-02-064-443/+533
* Deprecate and expire on 2007-02-07 to give the maintainer more incentivekris2006-12-091-0/+2
* BROKEN: incomplete pkg-plistkris2006-11-301-0/+2
* Fix plist and unbroken port.anray2006-11-113-4/+3
* BROKEN: Incorrect pkg-plistkris2006-10-151-0/+2
* Remove zero-sized files.erwin2006-07-102-0/+0
* - Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhatsem2006-05-161-0/+1
* Remove USE_REINPLACE from ports starting with Medwin2006-05-101-1/+0
* - Add USE_EMACS=yes. It should present in all emacsen ports.sem2006-05-061-0/+1
* - Update to 3.6sem2006-05-019-108/+126
* SHA256ifyedwin2006-01-221-0/+1
* Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtryedwin2006-01-221-1/+1
* BROKEN on amd64: Does not buildkris2005-10-281-0/+4
* Fix plist.barner2005-09-151-0/+3
* Fix build:barner2005-09-152-7/+35
* Add proofgeneral 3.5, a generic interface for proof assistants.barner2005-08-3110-0/+715
OpenPOWER on IntegriCloud