aboutsummaryrefslogtreecommitdiff
path: root/math/isabelle
Commit message (Collapse)AuthorAgeFilesLines
* Update to 2009.2Max Brazhnikov2010-10-3010-2516/+3232
| | | | | | | | PR: ports/149736 Submitted by: Timothy Beyer (maintainer) Notes: svn path=/head/; revision=263798
* - Mark BROKEN: bad plistPav Lucistnik2010-10-271-0/+2
| | | | | | | Reported by: pointyhat Notes: svn path=/head/; revision=263656
* - update to 1.4.1Dirk Meyer2010-03-281-1/+1
| | | | | | | | Reviewed by: exp8 run on pointyhat Supported by: miwi Notes: svn path=/head/; revision=251605
* - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)Martin Wilke2010-02-261-1/+1
| | | | | | | | | PR: 143994 143995 143996 Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) Feature safe: yes Notes: svn path=/head/; revision=250361
* - update to jpeg-8Dirk Meyer2010-02-051-0/+1
| | | | Notes: svn path=/head/; revision=249285
* - Update to 2009Martin Wilke2009-10-2910-673/+1644
| | | | | | | | PR: 139737 Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) Notes: svn path=/head/; revision=243493
* [MAINTAINER] math/isabelle: update from 2007 to 2008Edwin Groothuis2008-08-1552-1653/+320
| | | | | | | | | | | | | Updates the port to the latest Isabelle release. It does not seem worth the effort to continually patch the bash script files to make them work under sh, hence the large number of removed files. PR: ports/126067 Submitted by: Timothy Bourke <timbob@bigpond.com> Notes: svn path=/head/; revision=218598
* Bump portrevision due to upgrade of devel/gettext.Edwin Groothuis2008-06-061-0/+1
| | | | | | | | | | | | | The affected ports are the ones with gettext as a run-dependency according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT in Makefile (29 of them). PR: ports/124340 Submitted by: edwin@ Approved by: portmgr (pav) Notes: svn path=/head/; revision=214430
* - Update to 2007Rong-En Fan2008-04-0433-1106/+1645
| | | | | | | | PR: ports/121000 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer) Notes: svn path=/head/; revision=210485
* Move the USE_PERL definitions, and others, before pre.mk inclusion. ThisMark Linimon2007-09-291-5/+5
| | | | | | | | | will be needed to conditionalize bsd.perl.mk inclusion. Approved by: maintainer Notes: svn path=/head/; revision=200384
* Update port: math/isabelleEdwin Groothuis2007-09-1043-14/+1103
| | | | | | | | | | | | | Update to Isabelle port: * Works with updated sml-nj-devel port. * Does not require bash Thanks to Johannes 5 Joemann for helpful comments/patches. PR: ports/116046 Submitted by: Timothy Bourke <timbob@bigpond.com> Notes: svn path=/head/; revision=199261
* - Welcome X.org 7.2 \o/.Florent Thoumie2007-05-191-0/+1
| | | | | | | | - Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}. Notes: svn path=/head/; revision=191544
* - Fix crash with lang/polyml.Martin Wilke2007-03-229-74/+134
| | | | | | | | PR: 109958 Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) Notes: svn path=/head/; revision=188004
* math/isabelle does not build on pointyhat, because the build processRong-En Fan2006-08-101-0/+1
| | | | | | | | | | | | requires a non-standard kernel setting. Mark it as NO_PACKAGE. Refer to http://docs.freebsd.org/cgi/mid.cgi?20060521015932.GB603 PR: ports/101749 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer) Notes: svn path=/head/; revision=170274
* Fix plist: don't remove nls/en_US.US-ASCII or nls/POSIXShaun Amott2006-06-231-2/+0
| | | | | | | | | PR: ports/99341 Submitted by: shaun (me) Approved by: ahze (mentor) Notes: svn path=/head/; revision=166068
* add SHA256 checksumEdwin Groothuis2006-06-071-0/+3
| | | | Notes: svn path=/head/; revision=164717
* - Update to 2005Sergey Matveychuk2006-05-018-3263/+3324
| | | | | | | | PR: ports/94671 Submitted by: maintainer Notes: svn path=/head/; revision=161112
* Add isabelle 2004, a generic proof assistant.Simon Barner2005-09-019-0/+4176
PR: 84859 Submitted by: Timothy Bourke <timbob@bigpond.com> Notes: svn path=/head/; revision=141691
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-03 07:58:39 +0000