aboutsummaryrefslogtreecommitdiff
path: root/math/isabelle
Commit message (Expand)AuthorAgeFilesLines
* Deprecate ports broken for more than 6 monthsAntoine Brodin2015-01-291-0/+2
* cleanup plistBaptiste Daroussin2014-12-091-426/+0
* Update "BSD" license in math categoryMark Felder2014-12-071-1/+1
* Convert most NO_INSTALL_MANPAGES to USES=imake:nomanAntoine Brodin2014-08-181-2/+0
* Mark BROKEN: Build seems to hang on the package buildersAntoine Brodin2014-07-311-0/+2
* Attempt to unbreak INDEXAntoine Brodin2014-07-301-1/+1
* Reset maintainership for ports not staged with no pending PRBaptiste Daroussin2014-07-231-7/+7
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* Convert to new perl frameworkBaptiste Daroussin2013-09-161-5/+5
* Push the DOCS test into the right sectionBaptiste Daroussin2013-06-051-4/+5
* Convert to new options frameworkBaptiste Daroussin2013-06-051-29/+30
* Update to 2009.2Max Brazhnikov2010-10-3010-2516/+3232
* - Mark BROKEN: bad plistPav Lucistnik2010-10-271-0/+2
* - update to 1.4.1Dirk Meyer2010-03-281-1/+1
* - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)Martin Wilke2010-02-261-1/+1
* - update to jpeg-8Dirk Meyer2010-02-051-0/+1
* - Update to 2009Martin Wilke2009-10-2910-673/+1644
* [MAINTAINER] math/isabelle: update from 2007 to 2008Edwin Groothuis2008-08-1552-1653/+320
* Bump portrevision due to upgrade of devel/gettext.Edwin Groothuis2008-06-061-0/+1
* - Update to 2007Rong-En Fan2008-04-0433-1106/+1645
* Move the USE_PERL definitions, and others, before pre.mk inclusion. ThisMark Linimon2007-09-291-5/+5
* Update port: math/isabelleEdwin Groothuis2007-09-1043-14/+1103
* - Welcome X.org 7.2 \o/.Florent Thoumie2007-05-191-0/+1
* - Fix crash with lang/polyml.Martin Wilke2007-03-229-74/+134
* math/isabelle does not build on pointyhat, because the build processRong-En Fan2006-08-101-0/+1
* Fix plist: don't remove nls/en_US.US-ASCII or nls/POSIXShaun Amott2006-06-231-2/+0
* add SHA256 checksumEdwin Groothuis2006-06-071-0/+3
* - Update to 2005Sergey Matveychuk2006-05-018-3263/+3324
* Add isabelle 2004, a generic proof assistant.Simon Barner2005-09-019-0/+4176
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-11 01:42:15 +0000