aboutsummaryrefslogtreecommitdiff
path: root/math/isabelle
Commit message (Expand)AuthorAgeFilesLines
* - 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