aboutsummaryrefslogtreecommitdiffstats
path: root/math/proofgeneral
Commit message (Expand)AuthorAgeFilesLines
* Cleanup plistantoine2014-11-141-20/+0
* - Chase GNU Emacs updatesashish2014-11-051-1/+1
* Retire MANCOMPRESSED.mat2014-09-181-1/+0
* Convert a bunch of EXTRACT_SUFX=... into USES=tar:...adamw2014-07-301-2/+1
* - Add stage supportdanilo2014-07-172-13/+22
* Remove indefinite articles and trailing periods from COMMENT, plus minorolgeni2014-07-071-1/+1
* Convert GMAKE to MAKE_CMDbapt2014-06-251-1/+1
* - Don't remove mtree directoriesamdmi32014-05-101-1/+0
* - Remove manual creation and removal of share/applications, as it's now in th...amdmi32013-10-222-4/+0
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1
* Convert to new perl frameworkbapt2013-09-171-2/+1
* - Don't delete gnomehier directoriesbdrewery2013-04-162-3/+1
* - Fix packaging by removing unneeded PACKAGE_BUILDING hackbdrewery2013-03-312-14/+4
* GNU Emacs updatesashish2013-03-301-1/+1
* Chase Emacs updatesashish2012-09-051-1/+1
* - Bump PORTREVISION to chase Emacs port updatesashish2012-08-021-1/+1
* - Fix build with new texi2htmlak2012-07-122-4/+15
* - Mark BROKEN: does not buildpav2012-06-281-0/+2
* - update png to 1.5.10dinoex2012-06-011-0/+1
* - Update to 4.1scheidell2012-04-207-510/+167
* - Use print/texinfo for texi2{dvi,pdf} instead of print/teTeX-base.hrs2011-06-191-2/+3
* Bump PORTREVISION after open-mofit updatemakc2011-05-021-1/+1
* - Get Rid MD5 supportmiwi2011-03-201-1/+0
* - update to 1.4.1dinoex2010-03-281-1/+1
* - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)miwi2010-02-261-1/+1
* - update to jpeg-8dinoex2010-02-051-1/+1
* - bump all port that indirectly depends on libjpeg and have not yet been bump...dinoex2009-07-311-0/+1
* [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1edwin2008-08-155-12/+34
* Bump portrevision due to upgrade of devel/gettext.edwin2008-06-061-0/+1
* - Remove empty filespav2008-04-101-0/+0
* - Update to 3.7rafan2008-04-047-577/+593
* 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-253-13/+14
* - 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-062-4/+3
* BROKEN: Incomplete pkg-plistkris2007-02-271-0/+2
* * Remove the direct inclusion of bsd.emacs.mkanray2007-02-074-443/+533
* 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-123-4/+3
* BROKEN: Incorrect pkg-plistkris2006-10-161-0/+2
* Remove zero-sized files.erwin2006-07-112-0/+0
* - Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhatsem2006-05-161-0/+1
* 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-029-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-161-0/+3
* Fix build:barner2005-09-152-7/+35
* Add proofgeneral 3.5, a generic interface for proof assistants.barner2005-08-3110-0/+715