1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-25 04:43:33 +00:00
Commit Graph

8 Commits

Author SHA1 Message Date
Max Brazhnikov
6b71027429 Update to 2009.2
PR:		ports/149736
Submitted by:	Timothy Beyer (maintainer)
2010-10-30 18:34:26 +00:00
Martin Wilke
f8625babef - Update to 2009
PR:		139737
Submitted by:	Timothy Bourke <timbob@bigpond.com> (maintainer)
2009-10-29 22:23:28 +00:00
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
Rong-En Fan
aa57d936aa - Update to 2007
PR:		ports/121000
Submitted by:	Timothy Bourke <timbob at bigpond.com> (maintainer)
2008-04-04 12:15:22 +00:00
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
Martin Wilke
6c11582094 - Fix crash with lang/polyml.
PR:             109958
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
2007-03-22 11:32:00 +00:00
Sergey Matveychuk
b445a12fa5 - Update to 2005
PR:		ports/94671
Submitted by:	maintainer
2006-05-01 18:01:58 +00:00
Simon Barner
80bd7289ee Add isabelle 2004, a generic proof assistant.
PR:		84859
Submitted by:	Timothy Bourke <timbob@bigpond.com>
2005-09-01 10:03:58 +00:00