aboutsummaryrefslogtreecommitdiffstats
path: root/math/isabelle
Commit message (Expand)AuthorAgeFilesLines
* Convert most NO_INSTALL_MANPAGES to USES=imake:nomanantoine2014-08-191-2/+0
* Mark BROKEN: Build seems to hang on the package buildersantoine2014-08-011-0/+2
* Attempt to unbreak INDEXantoine2014-07-311-1/+1
* Reset maintainership for ports not staged with no pending PRbapt2014-07-241-7/+7
* 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-5/+5
* Push the DOCS test into the right sectionbapt2013-06-051-4/+5
* Convert to new options frameworkbapt2013-06-051-29/+30
* Update to 2009.2makc2010-10-3110-2516/+3232
* - Mark BROKEN: bad plistpav2010-10-281-0/+2
* - 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-0/+1
* - Update to 2009miwi2009-10-3010-673/+1644
* [MAINTAINER] math/isabelle: update from 2007 to 2008edwin2008-08-1552-1653/+320
* Bump portrevision due to upgrade of devel/gettext.edwin2008-06-061-0/+1
* - Update to 2007rafan2008-04-0433-1106/+1645
* Move the USE_PERL definitions, and others, before pre.mk inclusion. Thislinimon2007-09-301-5/+5
* Update port: math/isabelleedwin2007-09-1043-14/+1103
* - Welcome X.org 7.2 \o/.flz2007-05-201-0/+1
* - Fix crash with lang/polyml.miwi2007-03-229-74/+134
* math/isabelle does not build on pointyhat, because the build processrafan2006-08-101-0/+1
* Fix plist: don't remove nls/en_US.US-ASCII or nls/POSIXshaun2006-06-231-2/+0
* add SHA256 checksumedwin2006-06-071-0/+3
* - Update to 2005sem2006-05-028-3263/+3324
* Add isabelle 2004, a generic proof assistant.barner2005-09-019-0/+4176