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?
Port details
isabelle 2009.2 math on this many watch lists=0 search for ports that depend on this port
Broken BROKEN: Build seems to hang on the package builders
Ignore IGNORE: is marked as broken: Build seems to hang on the package builders
Generic proof assistant
Maintained by: beyert@cs.ucr.edu search for ports maintained by this maintainer
Port Added: 01 Sep 2005 10:04:40
License: BSD


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 : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Required To Build:
  1. shells/bash
  2. lang/smlnj
  3. lang/perl5.16
Required To Run:
  1. shells/bash
  2. devel/rlwrap
  3. lang/perl5.16
There are no ports dependent upon this port

To install the port: cd /usr/ports/math/isabelle/ && make install clean

A package is not available for ports marked as: Forbidden / Broken / Ignore / Restricted


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

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

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
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: 26

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
flacNov 25
asterisk11Nov 21
asterisk11Nov 21
phpmyadminNov 21
kde4-runtimeNov 20
kwebkitpartNov 20
yiiNov 19
chromiumNov 18
kde4-workspaceNov 17
dbusNov 11
wgetNov 08
konversation-kde4Nov 05
jenkinsOct 31
jenkins-ltsOct 31
twikiOct 31

9 vulnerabilities affecting 11 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 24385
Broken 160
Deprecated 79
Ignore 417
Forbidden 1
Restricted 206
No CDROM 93
Vulnerable 18
Expired 12
Set to expire 74
Interactive 0
new 24 hours 3
new 48 hours6
new 7 days47
new fortnight177
new month232

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