freebsd/ports.git - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update port: math/isabelle	Edwin Groothuis	2007-09-10	1	-0/+17
	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