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?
non port: head/math/isabelle/Makefile
SVNWeb

Number of commits found: 20

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

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
asterisk11Sep 18
squidSep 18
squid33Sep 18
dbusSep 17
nginxSep 16
nginx-develSep 16
phpmyadminSep 13
ossec-hids-clientSep 11
ossec-hids-localSep 11
ossec-hids-serverSep 11
chromiumSep 09
trafficserverSep 05
apache22*Sep 03
apache22-event-mpm*Sep 03
apache22-itk-mpm*Sep 03

8 vulnerabilities affecting 19 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 24134
Broken 116
Deprecated 46
Ignore 370
Forbidden 3
Restricted 205
No CDROM 94
Vulnerable 20
Expired 1
Set to expire 41
Interactive 0
new 24 hours 3
new 48 hours75
new 7 days92
new fortnight139
new month286

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