notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
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 View this port on Repology. pkg-fallout 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
WWW:
http://isabelle.in.tum.de
Description:
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
Homepage    cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
There is no configure plist information for this port.
Dependency lines:
  • isabelle>0:math/isabelle
No installation instructions:
This port has been deleted.
PKGNAME: isabelle
Flavors: there is no flavor information for this port.
distinfo:
There is no distinfo for this port.

No package information for this port in our database
Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link: pkg-fallout
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:
===> 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
Options name:
N/A
USES:
perl5
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (4 items)
Collapse this list.
  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/
Collapse this list.

Number of commits found: 31

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
2009.2
01 Mar 2015 21:24:41
Revision:380228Original commit files touched by this commit
rene search for other commits by this committer
Remove expired port:
2015-02-28 math/isabelle: Broken for more than 6 months
2009.2
20 Feb 2015 15:42:45
Revision:379437Original commit files touched by this commit
arved search for other commits by this committer
Drop Maintainership

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

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

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

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

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

PR:             ports/149736
Submitted by:   Timothy Beyer (maintainer)
2009_2
27 Oct 2010 21:39:01
Original commit files touched by this commit
pav search for other commits by this committer
- Mark BROKEN: bad plist

Reported by:    pointyhat
2009_2
28 Mar 2010 06:47:48
Original commit files touched by this commit
dinoex search for other commits by this committer
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
2009_1
26 Feb 2010 09:30:28
Original commit files touched by this commit
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
2009_1
05 Feb 2010 11:46:55
Original commit files touched by this commit
dinoex search for other commits by this committer
- update to jpeg-8
2009
29 Oct 2009 22:23:28
Original commit files touched by this commit
miwi search for other commits by this committer
- Update to 2009

PR:             139737
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
2008
15 Aug 2008 04:33:05
Original commit files touched by this commit
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>
2007_1
06 Jun 2008 13:44:06
Original commit files touched by this commit
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)
2007
04 Apr 2008 12:15:22
Original commit files touched by this commit
rafan search for other commits by this committer
- Update to 2007

PR:             ports/121000
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
2005_2
29 Sep 2007 20:58:03
Original commit files touched by this commit
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
2005_2
10 Sep 2007 12:11:10
Original commit files touched by this commit
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>
2005_1
19 May 2007 20:32:57
Original commit files touched by this commit
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}.
2005
22 Mar 2007 11:32:00
Original commit files touched by this commit
miwi search for other commits by this committer
- Fix crash with lang/polyml.

PR:             109958
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
2005
10 Aug 2006 12:04:59
Original commit files touched by this commit
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)
2005
23 Jun 2006 02:29:06
Original commit files touched by this commit
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)
2005
07 Jun 2006 14:17:39
Original commit files touched by this commit
edwin search for other commits by this committer
add SHA256 checksum
2005
01 May 2006 18:01:58
Original commit files touched by this commit
sem search for other commits by this committer
- Update to 2005

PR:             ports/94671
Submitted by:   maintainer
2004
01 Sep 2005 10:03:58
Original commit files touched by this commit
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