summaryrefslogtreecommitdiff
path: root/math/isabelle (follow)
Commit message (Collapse)AuthorAgeFilesLines
* [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-09-19 03:36:01 +0000