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

I am looking for an LTO tape library. Do you have one to spare?
found something from the cache
non port: head/math/isabelle/Makefile
SVNWeb

Number of commits found: 24

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: 24

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
asterisk11Nov 21
asterisk11Nov 21
phpmyadminNov 21
kde4-runtimeNov 20
kwebkitpartNov 20
yiiNov 19
chromiumNov 18
kde4-workspaceNov 17
dbusNov 11
wgetNov 08
konversation-kde4Nov 05
jenkinsOct 31
jenkins-ltsOct 31
twikiOct 31
libsshOct 29

9 vulnerabilities affecting 11 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 24408
Broken 103
Deprecated 39
Ignore 360
Forbidden 1
Restricted 206
No CDROM 93
Vulnerable 18
Expired 0
Set to expire 35
Interactive 0
new 24 hours 4
new 48 hours6
new 7 days135
new fortnight152
new month204

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