FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Please give me your LTO-4 or better tape library and I'll put it to good use.
found something from the cache
non port: head/math/isabelle/Makefile
SVNWeb

Number of commits found: 27

Fri, 20 Feb 2015
[ 15:42 arved ] Original commit 
379437 math/isabelle/Makefile
Drop Maintainership

PR:		197402
Submitted by:	Timothy Beyer
Thu, 29 Jan 2015
[ 18:07 antoine ] Original commit 
378127 finance/openerp-server/Makefile
378127 math/isabelle/Makefile
378127 net/spserver/Makefile
Deprecate ports broken for more than 6 months
Sun, 7 Dec 2014
[ 16:31 feld ] Original commit 
374217 math/R-cran-dlmodeler/Makefile
374217 math/arpack-ng/Makefile
374217 math/atlas/Makefile
374217 math/cblas/Makefile
374217 math/fricas/Makefile
374217 math/isabelle/Makefile
374217 math/lapacke/Makefile
374217 math/mpexpr/Makefile
374217 math/p5-Math-Random-MT/Makefile
374217 math/py-munkres/Makefile

(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 ] Original commit 
365343 comms/obexapp/Makefile
365343 devel/cscout/Makefile
365343 devel/cvs2cl/Makefile
365343 devel/monotone/Makefile
365343 devel/pmccabe/Makefile
365343 dns/py-namebench/Makefile
365343 emulators/dynamips-devel/Makefile
365343 games/antipolix/Makefile
365343 games/cosmo/Makefile
365343 games/wmeyes/Makefile

(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 ] Original commit 
363673 math/isabelle/Makefile
Mark BROKEN: Build seems to hang on the package builders

With hat:	portmgr
Wed, 30 Jul 2014
[ 20:25 antoine ] Original commit 
363513 devel/asdlgen/Makefile
363513 devel/ml-doc/Makefile
363513 devel/ml-doc/files/fix-cml-doc.sh.in
363513 devel/sml_tk/Makefile
363513 lang/mlton/Makefile
363513 math/isabelle/Makefile
363513 textproc/sml-fxp/Makefile
Attempt to unbreak INDEX
No idea if this builds (it didn't)

With hat:	portmgr
Wed, 23 Jul 2014
[ 17:30 bapt ] Original commit 
362717 lang/haskell-mode.el/Makefile
362717 lang/hla/Makefile
362717 lang/ifc/Makefile
362717 lang/metaocaml/Makefile
362717 lang/mpd/Makefile
362717 lang/neko/Makefile
362717 lang/nwcc/Makefile
362717 lang/ocaml-mode.el/Makefile
362717 lang/ocs/Makefile
362717 lang/onyx/Makefile

(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 ] Original commit 
327746 math/GiNaC/Makefile
327746 math/PDL/Makefile
327746 math/R-cran-ChangeAnomalyDetection/Makefile
327746 math/R-cran-Formula/Makefile
327746 math/R-cran-KFAS/Makefile
327746 math/R-cran-LearnBayes/Makefile
327746 math/R-cran-MCMCpack/Makefile
327746 math/R-cran-RHmm/Makefile
327746 math/R-cran-RSvgDevice/Makefile
327746 math/R-cran-RcppArmadillo/Makefile

(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 ] Original commit 
327414 emulators/qemu-devel/Makefile
327414 emulators/qemu/Makefile
327414 math/asymptote/Makefile
327414 math/fftw3/Makefile
327414 math/gotoblas/Makefile
327414 math/isabelle/Makefile
327414 math/mtl/Makefile
327414 math/oleo/Makefile
327414 math/polymake/Makefile
327414 math/yacas/Makefile

(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 ] Original commit 
319994 math/isabelle/Makefile
Push the DOCS test into the right section
[ 14:11 bapt ] Original commit 
319993 math/atlas/Makefile
319993 math/cblas/Makefile
319993 math/crlibm/Makefile
319993 math/givaro/Makefile
319993 math/gotoblas/Makefile
319993 math/isabelle/Makefile
319993 math/jsmath/Makefile
319993 math/lapack/Makefile
319993 math/lapacke/Makefile
319993 math/levmar/Makefile
Convert to new options framework
Sat, 30 Oct 2010
[ 18:34 makc ] Original commit 
1.16 math/isabelle/Makefile
1.7 math/isabelle/distinfo
1.7 math/isabelle/files/patch-etc-settings
1.5 math/isabelle/files/patch-lib-scripts-run_smlnj
1.2 math/isabelle/files/patch-src-HOL-Tools-atp_manager.ML
1.2 math/isabelle/files/patch-src-HOL-Tools-atp_wrapper.ML
1.2 math/isabelle/files/patch-src-HOL-Tools-int_arith.ML
1.2 math/isabelle/files/patch-src-HOL-Tools-int_factor_simprocs.ML
1.2 math/isabelle/files/patch-src-HOL-Tools-nat_simprocs.ML
1.9 math/isabelle/pkg-plist
Update to 2009.2

PR:             ports/149736
Submitted by:   Timothy Beyer (maintainer)
Wed, 27 Oct 2010
[ 21:39 pav ] Original commit 
1.15 math/isabelle/Makefile
- Mark BROKEN: bad plist

Reported by:    pointyhat
Sun, 28 Mar 2010
[ 06:47 dinoex ] Original commit 
1.20 Mk/bsd.gecko.mk
1.12 accessibility/accerciser/Makefile
1.10 accessibility/at-poke/Makefile
1.72 accessibility/at-spi/Makefile
1.51 accessibility/dasher/Makefile
1.54 accessibility/gnome-mag/Makefile
1.42 accessibility/gnopernicus/Makefile
1.46 accessibility/gok/Makefile
1.11 accessibility/java-access-bridge/Makefile
1.32 accessibility/kdeaccessibility/Makefile

(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 ] Original commit 
1.10 lang/polyml/Makefile
1.13 math/isabelle/Makefile
1.24 math/proofgeneral/Makefile
- 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 ] Original commit 
1.19 Mk/bsd.gecko.mk
1.11 accessibility/accerciser/Makefile
1.9 accessibility/at-poke/Makefile
1.71 accessibility/at-spi/Makefile
1.50 accessibility/dasher/Makefile
1.53 accessibility/gnome-mag/Makefile
1.41 accessibility/gnopernicus/Makefile
1.45 accessibility/gok/Makefile
1.10 accessibility/java-access-bridge/Makefile
1.31 accessibility/kdeaccessibility/Makefile

(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 ] Original commit 
1.11 math/isabelle/Makefile
1.6 math/isabelle/distinfo
1.6 math/isabelle/files/patch-etc-settings
1.4 math/isabelle/files/patch-lib-scripts-run_smlnj
1.1 math/isabelle/files/patch-src-HOL-Tools-atp_manager.ML
1.1 math/isabelle/files/patch-src-HOL-Tools-atp_wrapper.ML
1.1 math/isabelle/files/patch-src-HOL-Tools-int_arith.ML
1.1 math/isabelle/files/patch-src-HOL-Tools-int_factor_simprocs.ML
1.1 math/isabelle/files/patch-src-HOL-Tools-nat_simprocs.ML
1.8 math/isabelle/pkg-plist
- Update to 2009

PR:             139737
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Fri, 15 Aug 2008
[ 04:33 edwin ] Original commit 
1.10 math/isabelle/Makefile
1.5 math/isabelle/distinfo
1.2 math/isabelle/files/patch-bin-Isabelle
1.2 math/isabelle/files/patch-bin-isabelle
1.2 math/isabelle/files/patch-bin-isabelle_interface
1.3 math/isabelle/files/patch-bin-isabelle_process
1.2 math/isabelle/files/patch-bin-isatool
1.3 math/isabelle/files/patch-build
1.5 math/isabelle/files/patch-etc-settings
1.3 math/isabelle/files/patch-lib-Tools-browser

(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 ] Original commit 
1.53 math/PDL/Makefile
1.69 math/R/Makefile
1.7 math/abakus/Makefile
1.39 math/asymptote/Makefile
1.21 math/blacs/Makefile
1.9 math/blocksolve95/Makefile
1.25 math/calcoo/Makefile
1.23 math/clarence/Makefile
1.14 math/convertall/Makefile
1.18 math/coq/Makefile

(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 ] Original commit 
1.8 math/isabelle/Makefile
1.4 math/isabelle/distinfo
1.2 math/isabelle/files/patch-bin-isabelle_process
1.2 math/isabelle/files/patch-build
1.4 math/isabelle/files/patch-etc-settings
1.2 math/isabelle/files/patch-lib-Tools-browser
1.1 math/isabelle/files/patch-lib-Tools-codegen
1.2 math/isabelle/files/patch-lib-Tools-display
1.2 math/isabelle/files/patch-lib-Tools-findlogics
1.1 math/isabelle/files/patch-lib-Tools-keywords

(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 ] Original commit 
1.7 math/isabelle/Makefile
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 ] Original commit 
1.6 math/isabelle/Makefile
1.3 math/isabelle/files/Makefile
1.1 math/isabelle/files/patch-bin-Isabelle
1.1 math/isabelle/files/patch-bin-isabelle
1.1 math/isabelle/files/patch-bin-isabelle_interface
1.1 math/isabelle/files/patch-bin-isabelle_process
1.1 math/isabelle/files/patch-bin-isatool
1.1 math/isabelle/files/patch-build
1.1 math/isabelle/files/patch-lib-Tools-browser
1.1 math/isabelle/files/patch-lib-Tools-convert

(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 ] Original commit 
1.1364 MOVED
1.566 Mk/bsd.port.mk
1.1 Mk/bsd.xorg.mk
1.1 Tools/scripts/mergebase.sh
1.502 UPDATING
1.2 accessibility/at-poke/Makefile
1.60 accessibility/at-spi/Makefile
1.29 accessibility/at-spi/pkg-plist
1.51 accessibility/atk/Makefile
1.27 accessibility/atk/pkg-plist

(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 ] Original commit 
1.4 math/isabelle/Makefile
1.2 math/isabelle/files/badmaxdsiz
1.3 math/isabelle/files/patch-etc-settings
1.2 math/isabelle/files/polyml-4.1.4-patch.ML
1.2 math/isabelle/files/polyml-4.2.0.ML
1.1 math/isabelle/files/polyml-5.0.ML
1.1 math/isabelle/files/proofgeneral-settings.el
1.1 math/isabelle/files/run-polyml-5.0
1.2 math/isabelle/pkg-install
1.4 math/isabelle/pkg-plist
- Fix crash with lang/polyml.

PR:             109958
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Thu, 10 Aug 2006
[ 12:04 rafan ] Original commit 
1.3 math/isabelle/Makefile
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 ] Original commit 
1.2 math/isabelle/Makefile
1.2 math/isabelle/distinfo
1.2 math/isabelle/files/Makefile
1.2 math/isabelle/files/patch-etc-settings
1.2 math/isabelle/files/patch-lib-Tools-doc
1.1 math/isabelle/files/polyml-4.1.4-patch.ML
1.1 math/isabelle/files/polyml-4.2.0.ML
1.2 math/isabelle/pkg-plist
- Update to 2005

PR:             ports/94671
Submitted by:   maintainer
Thu, 1 Sep 2005
[ 10:03 barner ] Original commit 
1.341 math/Makefile
1.1 math/isabelle/Makefile
1.1 math/isabelle/distinfo
1.1 math/isabelle/files/Makefile
1.1 math/isabelle/files/badmaxdsiz
1.1 math/isabelle/files/patch-etc-settings
1.1 math/isabelle/files/patch-lib-Tools-doc
1.1 math/isabelle/pkg-descr
1.1 math/isabelle/pkg-install
1.1 math/isabelle/pkg-plist
Add isabelle 2004, a generic proof assistant.

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

Number of commits found: 27

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
cross-binutilsMar 24
jenkinsMar 24
jenkins-ltsMar 24
libressl*Mar 24
linux-c6-openssl*Mar 24
mingw32-openssl*Mar 24
mingw64-binutilsMar 24
openssl*Mar 24
firefoxMar 22
firefox-esrMar 22
libxulMar 22
linux-firefoxMar 22
linux-seamonkeyMar 22
seamonkeyMar 22
sympaMar 13

6 vulnerabilities affecting 26 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24709
Broken 99
Deprecated 143
Ignore 388
Forbidden 3
Restricted 203
No CDROM 94
Vulnerable 21
Expired 1
Set to expire 136
Interactive 0
new 24 hours 2
new 48 hours8
new 7 days22
new fortnight35
new month115

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.