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

	Commit message (Collapse)	Author	Age	Files	Lines
*	[MAINTAINER] math/isabelle: update from 2007 to 2008	Edwin Groothuis	2008-08-15	1	-8/+0
\| \| \| \| \| \| \| \| \| \|	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>
*	Update port: math/isabelle	Edwin Groothuis	2007-09-10	1	-0/+8
	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>