notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
non port: math/isabelle/Makefile

Number of commits found: 27

Friday, 20 Feb 2015
15:42 arved search for other commits by this committer
Drop Maintainership

PR:		197402
Submitted by:	Timothy Beyer
Original commitRevision:379437 
Thursday, 29 Jan 2015
18:07 antoine search for other commits by this committer
Deprecate ports broken for more than 6 months
Original commitRevision:378127 
Sunday, 7 Dec 2014
16:31 feld search for other commits by this committer
Update "BSD" license in math category
Original commitRevision:374217 
Monday, 18 Aug 2014
19:13 antoine search for other commits by this committer
Convert most NO_INSTALL_MANPAGES to USES=imake:noman

With hat:	portmgr
Original commitRevision:365343 
Thursday, 31 Jul 2014
19:35 antoine search for other commits by this committer
Mark BROKEN: Build seems to hang on the package builders

With hat:	portmgr
Original commitRevision:363673 
Wednesday, 30 Jul 2014
20:25 antoine search for other commits by this committer
Attempt to unbreak INDEX
No idea if this builds (it didn't)

With hat:	portmgr
Original commitRevision:363513 
Wednesday, 23 Jul 2014
17:30 bapt search for other commits by this committer
Reset maintainership for ports not staged with no pending PR

With hat:	portmgr
Original commitRevision:362717 
Friday, 20 Sep 2013
20:55 bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
Original commitRevision:327746 
Monday, 16 Sep 2013
16:45 bapt search for other commits by this committer
Convert to new perl framework
Convert USE_GMAKE to USES
Original commitRevision:327414 
Wednesday, 5 Jun 2013
14:12 bapt search for other commits by this committer
Push the DOCS test into the right section
Original commitRevision:319994 
14:11 bapt search for other commits by this committer
Convert to new options framework
Original commitRevision:319993 
Saturday, 30 Oct 2010
18:34 makc search for other commits by this committer
Update to 2009.2

PR:             ports/149736
Submitted by:   Timothy Beyer (maintainer)
Original commit
Wednesday, 27 Oct 2010
21:39 pav search for other commits by this committer
- Mark BROKEN: bad plist

Reported by:    pointyhat
Original commit
Sunday, 28 Mar 2010
06:47 dinoex search for other commits by this committer
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
Original commit
Friday, 26 Feb 2010
09:30 miwi search for other commits by this committer
- 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
Original commit
Friday, 5 Feb 2010
11:46 dinoex search for other commits by this committer
- update to jpeg-8
Original commit
Thursday, 29 Oct 2009
22:23 miwi search for other commits by this committer
- Update to 2009

PR:             139737
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Original commit
Friday, 15 Aug 2008
04:33 edwin search for other commits by this committer
[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>
Original commit
Friday, 6 Jun 2008
13:44 edwin search for other commits by this committer
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)
Original commit
Friday, 4 Apr 2008
12:15 rafan search for other commits by this committer
- Update to 2007

PR:             ports/121000
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
Original commit
Saturday, 29 Sep 2007
20:58 linimon search for other commits by this committer
Move the USE_PERL definitions, and others, before pre.mk inclusion.  This
will be needed to conditionalize bsd.perl.mk inclusion.

Approved by:    maintainer
Original commit
Monday, 10 Sep 2007
12:11 edwin search for other commits by this committer
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>
Original commit
Saturday, 19 May 2007
20:32 flz search for other commits by this committer
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
Original commit
Thursday, 22 Mar 2007
11:32 miwi search for other commits by this committer
- Fix crash with lang/polyml.

PR:             109958
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Original commit
Thursday, 10 Aug 2006
12:04 rafan search for other commits by this committer
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)
Original commit
Monday, 1 May 2006
18:01 sem search for other commits by this committer
- Update to 2005

PR:             ports/94671
Submitted by:   maintainer
Original commit
Thursday, 1 Sep 2005
10:03 barner search for other commits by this committer
Add isabelle 2004, a generic proof assistant.

PR:             84859
Submitted by:   Timothy Bourke <timbob@bigpond.com>
Original commit

Number of commits found: 27