cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
f2a1f0a36d
freebsd-ports/math/isabelle
History
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