non port: math/isabelle/pkg-plist |
Number of commits found: 10 |
Tuesday, 9 Dec 2014
|
13:20 bapt
cleanup plist
|
Saturday, 30 Oct 2010
|
18:34 makc
Update to 2009.2
PR: ports/149736
Submitted by: Timothy Beyer (maintainer)
|
Thursday, 29 Oct 2009
|
22:23 miwi
- Update to 2009
PR: 139737
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
|
Friday, 15 Aug 2008
|
04:33 edwin
[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>
|
Friday, 4 Apr 2008
|
12:15 rafan
- Update to 2007
PR: ports/121000
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
|
Monday, 10 Sep 2007
|
12:11 edwin
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>
|
Thursday, 22 Mar 2007
|
11:32 miwi
- Fix crash with lang/polyml.
PR: 109958
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
|
Friday, 23 Jun 2006
|
02:29 shaun
Fix plist: don't remove nls/en_US.US-ASCII or nls/POSIX
PR: ports/99341
Submitted by: shaun (me)
Approved by: ahze (mentor)
|
Monday, 1 May 2006
|
18:01 sem
- Update to 2005
PR: ports/94671
Submitted by: maintainer
|
Thursday, 1 Sep 2005
|
10:03 barner
Add isabelle 2004, a generic proof assistant.
PR: 84859
Submitted by: Timothy Bourke <timbob@bigpond.com>
|
Number of commits found: 10 |