notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
non port: math/isabelle/Makefile
SVNWeb

Number of commits found: 27

Fri, 20 Feb 2015
[ 15:42 arved search for other commits by this committer ] Original commit   Revision:379437
Drop Maintainership

PR:		197402
Submitted by:	Timothy Beyer
Thu, 29 Jan 2015
[ 18:07 antoine search for other commits by this committer ] Original commit   Revision:378127
Deprecate ports broken for more than 6 months
Sun, 7 Dec 2014
[ 16:31 feld search for other commits by this committer ] Original commit   Revision:374217 (Only the first 10 of 14 ports in this commit are shown above. View all ports for this commit)
Update "BSD" license in math category
Mon, 18 Aug 2014
[ 19:13 antoine search for other commits by this committer ] Original commit   Revision:365343 (Only the first 10 of 46 ports in this commit are shown above. View all ports for this commit)
Convert most NO_INSTALL_MANPAGES to USES=imake:noman

With hat:	portmgr
Thu, 31 Jul 2014
[ 19:35 antoine search for other commits by this committer ] Original commit   Revision:363673
Mark BROKEN: Build seems to hang on the package builders

With hat:	portmgr
Wed, 30 Jul 2014
[ 20:25 antoine search for other commits by this committer ] Original commit   Revision:363513
Attempt to unbreak INDEX
No idea if this builds (it didn't)

With hat:	portmgr
Wed, 23 Jul 2014
[ 17:30 bapt search for other commits by this committer ] Original commit   Revision:362717 (Only the first 10 of 51 ports in this commit are shown above. View all ports for this commit)
Reset maintainership for ports not staged with no pending PR

With hat:	portmgr
Fri, 20 Sep 2013
[ 20:55 bapt search for other commits by this committer ] Original commit   Revision:327746 (Only the first 10 of 665 ports in this commit are shown above. View all ports for this commit)
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
Mon, 16 Sep 2013
[ 16:45 bapt search for other commits by this committer ] Original commit   Revision:327414 (Only the first 10 of 19 ports in this commit are shown above. View all ports for this commit)
Convert to new perl framework
Convert USE_GMAKE to USES
Wed, 5 Jun 2013
[ 14:12 bapt search for other commits by this committer ] Original commit   Revision:319994
Push the DOCS test into the right section
[ 14:11 bapt search for other commits by this committer ] Original commit   Revision:319993
Convert to new options framework
Sat, 30 Oct 2010
[ 18:34 makc search for other commits by this committer ] Original commit 
Update to 2009.2

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

Reported by:    pointyhat
Sun, 28 Mar 2010
[ 06:47 dinoex search for other commits by this committer ] Original commit  (Only the first 10 of 4470 ports in this commit are shown above. View all ports for this commit)
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
Fri, 26 Feb 2010
[ 09:30 miwi search for other commits by this committer ] Original commit 
- 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
Fri, 5 Feb 2010
[ 11:46 dinoex search for other commits by this committer ] Original commit  (Only the first 10 of 4271 ports in this commit are shown above. View all ports for this commit)
- update to jpeg-8
Thu, 29 Oct 2009
[ 22:23 miwi search for other commits by this committer ] Original commit 
- Update to 2009

PR:             139737
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Fri, 15 Aug 2008
[ 04:33 edwin search for other commits by this committer ] Original commit  (Only the first 10 of 52 ports in this commit are shown above. View all ports for this commit)
[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>
Fri, 6 Jun 2008
[ 13:44 edwin search for other commits by this committer ] Original commit  (Only the first 10 of 76 ports in this commit are shown above. View all ports for this commit)
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)
Fri, 4 Apr 2008
[ 12:15 rafan search for other commits by this committer ] Original commit  (Only the first 10 of 33 ports in this commit are shown above. View all ports for this commit)
- Update to 2007

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

Approved by:    maintainer
Mon, 10 Sep 2007
[ 12:11 edwin search for other commits by this committer ] Original commit  (Only the first 10 of 43 ports in this commit are shown above. View all ports for this commit)
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>
Sat, 19 May 2007
[ 20:32 flz search for other commits by this committer ] Original commit  (Only the first 10 of 7868 ports in this commit are shown above. View all ports for this commit)
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
Thu, 22 Mar 2007
[ 11:32 miwi search for other commits by this committer ] Original commit 
- Fix crash with lang/polyml.

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

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

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

Number of commits found: 27