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.
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
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: 01 Sep 2005 10:04:40
License: BSD3CLAUSE
Isabelle is a generic proof assistant. It allows mathematical
formulas to be expressed in a formal language and provides tools
for proving those formulas in a logical calculus. The main application
is the formalization of mathematical proofs and in particular formal
verification, which includes proving the correctness of computer
hardware or software and proving properties of computer languages
and protocols.

Compared with similar tools, Isabelle's distinguishing feature is
its flexibility. Most proof assistants are built around a single
formal calculus, typically higher-order logic. Isabelle has the
capacity to accept a variety of formal calculi. The distributed
version supports higher-order logic but also axiomatic set theory
and several other formalisms. See logics for more details.

Isabelle is a joint project between Lawrence C. Paulson (University
of Cambridge, UK) and Tobias Nipkow (Technical University of Munich,
Germany).

WWW: http://isabelle.in.tum.de
SVNWeb : Homepage : Distfiles Availability : PortsMon

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

No installation instructions: this port has been deleted.

The package name of this deleted port was: isabelle


Configuration Options
===> The following configuration options are available for isabelle-2009.2:
     EMACS_PKG=off: Build with Emacs Packages
     HOL_ALGEBRA=off: Build optional heap: HOL-Algebra
     HOL_HOL4=off: Build optional heap: HOL4
     HOL_NOMINAL=off: Build optional heap: HOL-Nominal
     HOL_NSA=off: Build optional heap: HOL-NSA
     HOL_TLA=off: Build optional heap: TLA
     HOL_WORD=off: Build optional heap: HOL-Word
     LEDIT=off: Use ledit as line editor
     POLYML=off: Use Poly/ML (fast but broken) instead of SML/NJ
     RLWRAP=on: Use rlwrap as line editor
===> Use 'make config' to modify these settings

USES:
perl5

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/

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, 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 3
new 48 hours8
new 7 days22
new fortnight35
new month117

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