notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Port details
isabelle Generic proof assistant
2009.2 math Deleted on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port 2009.2Version of this port present on the latest quarterly branch.
Broken BROKEN: Build seems to hang on the package builders
Deprecated DEPRECATED: Broken for more than 6 months
Expired This port expired on: 2015-02-28
Ignore IGNORE: is marked as broken: Build seems to hang on the package builders
There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
search for ports maintained by this maintainer
Port Added: 2005-09-01 10:04:40
Last Update: 2015-03-01 21:24:41
SVN Revision: 380228
License: BSD3CLAUSE
Description:
SVNWeb : Homepage

There is no configure plist information for this port.

Dependency lines:
  • isabelle>0:math/isabelle
No installation instructions: this port has been deleted.
The package name of this deleted port was: isabelle
PKGNAME: isabelle
Flavors: there is no flavor information for this port.
distinfo:
There is no distinfo for this port.

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. bash : shells/bash
  2. smlnj>=110.71 : lang/smlnj
  3. perl5.18.4 : lang/perl5.18
Runtime dependencies:
  1. bash : shells/bash
  2. rlwrap : devel/rlwrap
  3. perl5.18.4 : lang/perl5.18
There are no ports dependent upon this port

Configuration Options

USES:

Master Sites:
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://isabelle.in.tum.de/dist/
  3. http://mirror.cse.unsw.edu.au/pub/isabelle/dist/
  4. http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
Port Moves
  • port deleted on 2015-03-01
    REASON: Has expired: Broken for more than 6 months

Number of commits found: 31

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
01 Mar 2015 21:24:41
Original commit files touched by this commit  2009.2
Revision:380228
rene search for other commits by this committer
Remove expired port:
2015-02-28 math/isabelle: Broken for more than 6 months
20 Feb 2015 15:42:45
Original commit files touched by this commit  2009.2
Revision:379437
arved search for other commits by this committer
Drop Maintainership

PR:		197402
Submitted by:	Timothy Beyer
29 Jan 2015 18:07:03
Original commit files touched by this commit  2009.2
Revision:378127
antoine search for other commits by this committer
Deprecate ports broken for more than 6 months
09 Dec 2014 13:20:46
Original commit files touched by this commit  2009.2
Revision:374377
bapt search for other commits by this committer
cleanup plist
07 Dec 2014 16:31:51
Original commit files touched by this commit  2009.2
Revision:374217
feld search for other commits by this committer
Update "BSD" license in math category
18 Aug 2014 19:13:18
Original commit files touched by this commit  2009.2
Revision:365343
antoine search for other commits by this committer
Convert most NO_INSTALL_MANPAGES to USES=imake:noman

With hat:	portmgr
31 Jul 2014 19:35:57
Original commit files touched by this commit  2009.2
Revision:363673
antoine search for other commits by this committer
Mark BROKEN: Build seems to hang on the package builders

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

With hat:	portmgr
23 Jul 2014 17:30:45
Original commit files touched by this commit  2009.2
Revision:362717
bapt search for other commits by this committer
Reset maintainership for ports not staged with no pending PR

With hat:	portmgr
20 Sep 2013 20:55:06
Original commit files touched by this commit  2009.2
Revision:327746
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
16 Sep 2013 16:45:35
Original commit files touched by this commit  2009.2
Revision:327414
bapt search for other commits by this committer
Convert to new perl framework
Convert USE_GMAKE to USES
05 Jun 2013 14:12:59
Original commit files touched by this commit  2009.2
Revision:319994
bapt search for other commits by this committer
Push the DOCS test into the right section
05 Jun 2013 14:11:20
Refresh Original commit files touched by this commit
Revision:319993  Sanity Test Failure
bapt search for other commits by this committer
Convert to new options framework
30 Oct 2010 18:34:26
Original commit files touched by this commit  2009.2

makc search for other commits by this committer
Update to 2009.2

PR:             ports/149736
Submitted by:   Timothy Beyer (maintainer)
27 Oct 2010 21:39:01
Original commit files touched by this commit  2009_2

pav search for other commits by this committer
- Mark BROKEN: bad plist

Reported by:    pointyhat
28 Mar 2010 06:47:48
Original commit files touched by this commit  2009_2

dinoex search for other commits by this committer
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
26 Feb 2010 09:30:28
Original commit files touched by this commit  2009_1

miwi search for other commits by this committer
- 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
05 Feb 2010 11:46:55
Original commit files touched by this commit  2009_1

dinoex search for other commits by this committer
- update to jpeg-8
29 Oct 2009 22:23:28
Original commit files touched by this commit  2009

miwi search for other commits by this committer
- Update to 2009

PR:             139737
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
15 Aug 2008 04:33:05
Original commit files touched by this commit  2008

edwin search for other commits by this committer
[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>
06 Jun 2008 13:44:06
Original commit files touched by this commit  2007_1

edwin search for other commits by this committer
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)
04 Apr 2008 12:15:22
Original commit files touched by this commit  2007

rafan search for other commits by this committer
- Update to 2007

PR:             ports/121000
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
29 Sep 2007 20:58:03
Original commit files touched by this commit  2005_2

linimon search for other commits by this committer
Move the USE_PERL definitions, and others, before pre.mk inclusion.  This
will be needed to conditionalize bsd.perl.mk inclusion.

Approved by:    maintainer
10 Sep 2007 12:11:10
Original commit files touched by this commit  2005_2

edwin search for other commits by this committer
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>
19 May 2007 20:32:57
Original commit files touched by this commit  2005_1

flz search for other commits by this committer
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
22 Mar 2007 11:32:00
Original commit files touched by this commit  2005

miwi search for other commits by this committer
- Fix crash with lang/polyml.

PR:             109958
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
10 Aug 2006 12:04:59
Original commit files touched by this commit  2005

rafan search for other commits by this committer
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)
23 Jun 2006 02:29:06
Original commit files touched by this commit  2005

shaun search for other commits by this committer
Fix plist: don't remove nls/en_US.US-ASCII or nls/POSIX

PR:             ports/99341
Submitted by:   shaun (me)
Approved by:    ahze (mentor)
07 Jun 2006 14:17:39
Original commit files touched by this commit  2005

edwin search for other commits by this committer
add SHA256 checksum
01 May 2006 18:01:58
Original commit files touched by this commit  2005

sem search for other commits by this committer
- Update to 2005

PR:             ports/94671
Submitted by:   maintainer
01 Sep 2005 10:03:58
Original commit files touched by this commit  2004

barner search for other commits by this committer
Add isabelle 2004, a generic proof assistant.

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

Number of commits found: 31

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
expat2Sep 16
curlSep 14
opensslSep 11
openssl111Sep 11
linux-flashplayerSep 10
onigurumaSep 07
xymon-serverSep 07
asterisk13Sep 06
asterisk15Sep 06
asterisk16Sep 06
asterisk16Sep 06
eximSep 06
wordpressSep 06
wordpressSep 06
wordpressSep 06

14 vulnerabilities affecting 199 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-09-16 12:47:59


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 37689
Broken 405
Deprecated 536
Ignore 665
Forbidden 3
Restricted 162
No CDROM 74
Vulnerable 29
Expired 9
Set to expire 507
Interactive 0
new 24 hours 4
new 48 hours7
new 7 days34
new fortnight74
new month419

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