| Commit History - (may be incomplete: see SVNWeb link above for full details) |
| Date | By | Description |
30 Oct 2010 18:34:26
2009.2
|
makc  |
Update to 2009.2
PR: ports/149736
Submitted by: Timothy Beyer (maintainer) |
27 Oct 2010 21:39:01
2009_2
|
pav  |
- Mark BROKEN: bad plist
Reported by: pointyhat |
28 Mar 2010 06:47:48
2009_2
|
dinoex  |
- update to 1.4.1
Reviewed by: exp8 run on pointyhat
Supported by: miwi |
26 Feb 2010 09:30:28
2009_1
|
miwi  |
- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)
PR: 143994 143995 143996
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
Feature safe: yes |
05 Feb 2010 11:46:55
2009_1
|
dinoex  |
- update to jpeg-8 |
29 Oct 2009 22:23:28
2009
|
miwi  |
- Update to 2009
PR: 139737
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) |
15 Aug 2008 04:33:05
2008
|
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> |
06 Jun 2008 13:44:06
2007_1
|
edwin  |
Bump portrevision due to upgrade of devel/gettext.
The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).
PR: ports/124340
Submitted by: edwin@
Approved by: portmgr (pav) |
04 Apr 2008 12:15:22
2007
|
rafan  |
- Update to 2007
PR: ports/121000
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer) |
29 Sep 2007 20:58:03
2005_2
|
linimon  |
Move the USE_PERL definitions, and others, before pre.mk inclusion. This
will be needed to conditionalize bsd.perl.mk inclusion.
Approved by: maintainer |
10 Sep 2007 12:11:10
2005_2
|
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> |
19 May 2007 20:32:57
2005_1
|
flz  |
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}. |
22 Mar 2007 11:32:00
2005
|
miwi  |
- Fix crash with lang/polyml.
PR: 109958
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) |
10 Aug 2006 12:04:59
2005
|
rafan  |
math/isabelle does not build on pointyhat, because the build process
requires a non-standard kernel setting. Mark it as NO_PACKAGE.
Refer to http://docs.freebsd.org/cgi/mid.cgi?20060521015932.GB603
PR: ports/101749
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer) |
23 Jun 2006 02:29:06
2005
|
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) |
07 Jun 2006 14:17:39
2005
|
edwin  |
add SHA256 checksum |
01 May 2006 18:01:58
2005
|
sem  |
- Update to 2005
PR: ports/94671
Submitted by: maintainer |
01 Sep 2005 10:03:58
2004
|
barner  |
Add isabelle 2004, a generic proof assistant.
PR: 84859
Submitted by: Timothy Bourke <timbob@bigpond.com> |