| Port details |
- isabelle Generic proof assistant
- 2009.2 math
 =0      2009.2Version of this port present on the latest quarterly branch.  BROKEN: Build seems to hang on the package builders
 DEPRECATED: Broken for more than 6 months
 This port expired on: 2015-02-28
 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
- 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
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- 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:
-
- 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.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- bash : shells/bash
- smlnj>=110.71 : lang/smlnj
- perl5.18.4 : lang/perl5.18
- Runtime dependencies:
-
- bash : shells/bash
- rlwrap : devel/rlwrap
- 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:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
2009.2
01 Mar 2015 21:24:41
  |
rene |
Remove expired port:
2015-02-28 math/isabelle: Broken for more than 6 months |
2009.2
20 Feb 2015 15:42:45
|
arved |
Drop Maintainership
PR: 197402
Submitted by: Timothy Beyer |
2009.2
29 Jan 2015 18:07:03
|
antoine |
Deprecate ports broken for more than 6 months |
2009.2
09 Dec 2014 13:20:46
|
bapt |
cleanup plist |
2009.2
07 Dec 2014 16:31:51
|
feld |
Update "BSD" license in math category |
2009.2
18 Aug 2014 19:13:18
|
antoine |
Convert most NO_INSTALL_MANPAGES to USES=imake:noman
With hat: portmgr |
2009.2
31 Jul 2014 19:35:57
|
antoine |
Mark BROKEN: Build seems to hang on the package builders
With hat: portmgr |
2009.2
30 Jul 2014 20:25:51
|
antoine |
Attempt to unbreak INDEX
No idea if this builds (it didn't)
With hat: portmgr |
2009.2
23 Jul 2014 17:30:45
|
bapt |
Reset maintainership for ports not staged with no pending PR
With hat: portmgr |
2009.2
20 Sep 2013 20:55:06
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
math) |
2009.2
16 Sep 2013 16:45:35
|
bapt |
Convert to new perl framework
Convert USE_GMAKE to USES |
2009.2
05 Jun 2013 14:12:59
|
bapt |
Push the DOCS test into the right section |
05 Jun 2013 14:11:20
 
|
bapt |
Convert to new options framework |
2009.2
30 Oct 2010 18:34:26
|
makc |
Update to 2009.2
PR: ports/149736
Submitted by: Timothy Beyer (maintainer) |
2009_2
27 Oct 2010 21:39:01
|
pav |
- Mark BROKEN: bad plist
Reported by: pointyhat |
2009_2
28 Mar 2010 06:47:48
|
dinoex |
- update to 1.4.1
Reviewed by: exp8 run on pointyhat
Supported by: miwi |
2009_1
26 Feb 2010 09:30:28
|
miwi |
- 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
|
dinoex |
- update to jpeg-8 |
2009
29 Oct 2009 22:23:28
|
miwi |
- Update to 2009
PR: 139737
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) |
2008
15 Aug 2008 04:33:05
|
edwin |
[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
|
edwin |
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
|
rafan |
- Update to 2007
PR: ports/121000
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer) |
2005_2
29 Sep 2007 20:58:03
|
linimon |
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
|
edwin |
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
|
flz |
- 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
|
miwi |
- Fix crash with lang/polyml.
PR: 109958
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) |
2005
10 Aug 2006 12:04:59
|
rafan |
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
|
shaun |
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
|
edwin |
add SHA256 checksum |
2005
01 May 2006 18:01:58
|
sem |
- Update to 2005
PR: ports/94671
Submitted by: maintainer |
2004
01 Sep 2005 10:03:58
|
barner |
Add isabelle 2004, a generic proof assistant.
PR: 84859
Submitted by: Timothy Bourke <timbob@bigpond.com> |
As an Amazon Associate I earn from qualifying purchases.