mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-19 08:13:21 +00:00
Code Issues Releases Activity
50e29a5e62
freebsd-ports/math/isabelle
History
Edwin Groothuis ecaabb26ca Update port: math/isabelle 
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>
2007-09-10 12:11:09 +00:00
..
files Update port: math/isabelle 2007-09-10 12:11:09 +00:00
distinfo
Makefile Update port: math/isabelle 2007-09-10 12:11:09 +00:00
pkg-descr
pkg-plist Update port: math/isabelle 2007-09-10 12:11:09 +00:00