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
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