aboutsummaryrefslogtreecommitdiffstats
path: root/math/proofgeneral/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Ugh, took me about fifteen minutes to figure what's wrong with this... Oh..mezz2007-10-281-2/+2
* Fix the *.desktop installation, bump the PORTREVISION.mezz2007-10-261-1/+4
* Presenting GNOME 2.20.1 and all related works for FreeBSD. The officialmarcus2007-10-251-1/+1
* - Welcome X.org 7.2 \o/.flz2007-05-201-1/+1
* Now appears to build on amd64kris2007-04-021-4/+0
* Fix deinstall and unbroke port.anray2007-03-061-2/+0
* BROKEN: Incomplete pkg-plistkris2007-02-271-0/+2
* * Remove the direct inclusion of bsd.emacs.mkanray2007-02-071-31/+22
* Deprecate and expire on 2007-02-07 to give the maintainer more incentivekris2006-12-101-0/+2
* BROKEN: incomplete pkg-plistkris2006-12-011-0/+2
* Fix plist and unbroken port.anray2006-11-121-3/+2
* BROKEN: Incorrect pkg-plistkris2006-10-161-0/+2
* Remove USE_REINPLACE from ports starting with Medwin2006-05-111-1/+0
* - Add USE_EMACS=yes. It should present in all emacsen ports.sem2006-05-061-0/+1
* - Update to 3.6sem2006-05-021-11/+4
* BROKEN on amd64: Does not buildkris2005-10-281-0/+4
* Fix build:barner2005-09-151-7/+22
* Add proofgeneral 3.5, a generic interface for proof assistants.barner2005-08-311-0/+76
generated by cgit (git 2.34.1) at 2024-11-19 01:24:25 +0800