mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-27 05:10:36 +00:00
Code Issues Releases Activity
6ba5ec9b6d
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