freebsd-ports/math/isabelle
Edwin Groothuis 0002baf188 [MAINTAINER] math/isabelle: update from 2007 to 2008
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>
2008-08-15 04:33:04 +00:00
..
files [MAINTAINER] math/isabelle: update from 2007 to 2008 2008-08-15 04:33:04 +00:00
distinfo [MAINTAINER] math/isabelle: update from 2007 to 2008 2008-08-15 04:33:04 +00:00
Makefile [MAINTAINER] math/isabelle: update from 2007 to 2008 2008-08-15 04:33:04 +00:00
pkg-descr
pkg-plist [MAINTAINER] math/isabelle: update from 2007 to 2008 2008-08-15 04:33:04 +00:00