| non port: math/isabelle/Makefile |
|
SVNWeb
|
Number of commits found: 27 |
|
Fri, 20 Feb 2015
|
[ 15:42 arved  ]  
Drop Maintainership
PR: 197402
Submitted by: Timothy Beyer
|
|
Thu, 29 Jan 2015
|
[ 18:07 antoine ]
Deprecate ports broken for more than 6 months
|
|
Sun, 7 Dec 2014
|
[ 16:31 feld ] (Only the first 10 of 14 ports in this commit are shown above.  )
Update "BSD" license in math category
|
|
Mon, 18 Aug 2014
|
[ 19:13 antoine ] (Only the first 10 of 46 ports in this commit are shown above. )
Convert most NO_INSTALL_MANPAGES to USES=imake:noman
With hat: portmgr
|
|
Thu, 31 Jul 2014
|
[ 19:35 antoine ]
Mark BROKEN: Build seems to hang on the package builders
With hat: portmgr
|
|
Wed, 30 Jul 2014
|
[ 20:25 antoine ]
Attempt to unbreak INDEX
No idea if this builds (it didn't)
With hat: portmgr
|
|
Wed, 23 Jul 2014
|
[ 17:30 bapt ] (Only the first 10 of 51 ports in this commit are shown above. )
Reset maintainership for ports not staged with no pending PR
With hat: portmgr
|
|
Fri, 20 Sep 2013
|
[ 20:55 bapt ] (Only the first 10 of 665 ports in this commit are shown above. )
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
|
|
Mon, 16 Sep 2013
|
[ 16:45 bapt ] (Only the first 10 of 19 ports in this commit are shown above. )
Convert to new perl framework
Convert USE_GMAKE to USES
|
|
Wed, 5 Jun 2013
|
[ 14:12 bapt ]
Push the DOCS test into the right section
|
[ 14:11 bapt ]
Convert to new options framework
|
|
Sat, 30 Oct 2010
|
[ 18:34 makc ]
Update to 2009.2
PR: ports/149736
Submitted by: Timothy Beyer (maintainer)
|
|
Wed, 27 Oct 2010
|
[ 21:39 pav ]
- Mark BROKEN: bad plist
Reported by: pointyhat
|
|
Sun, 28 Mar 2010
|
[ 06:47 dinoex ] (Only the first 10 of 4470 ports in this commit are shown above. )
- update to 1.4.1
Reviewed by: exp8 run on pointyhat
Supported by: miwi
|
|
Fri, 26 Feb 2010
|
[ 09:30 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
|
|
Fri, 5 Feb 2010
|
[ 11:46 dinoex ] (Only the first 10 of 4271 ports in this commit are shown above. )
- update to jpeg-8
|
|
Thu, 29 Oct 2009
|
[ 22:23 miwi ]
- Update to 2009
PR: 139737
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
|
|
Fri, 15 Aug 2008
|
[ 04:33 edwin ] (Only the first 10 of 52 ports in this commit are shown above. )
[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 ] (Only the first 10 of 76 ports in this commit are shown above. )
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 ] (Only the first 10 of 33 ports in this commit are shown above. )
- Update to 2007
PR: ports/121000
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
|
|
Sat, 29 Sep 2007
|
[ 20:58 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
|
|
Mon, 10 Sep 2007
|
[ 12:11 edwin ] (Only the first 10 of 43 ports in this commit are shown above. )
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 ] (Only the first 10 of 7868 ports in this commit are shown above. )
- 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 ]
- Fix crash with lang/polyml.
PR: 109958
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
|
|
Thu, 10 Aug 2006
|
[ 12:04 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)
|
|
Mon, 1 May 2006
|
[ 18:01 sem ]
- Update to 2005
PR: ports/94671
Submitted by: maintainer
|
|
Thu, 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: 27 |
As an Amazon Associate I earn from qualifying purchases.