isabelle 2009_1 math =0

A generic proof assistant
Maintained by: timbob@bigpond.com
Port Added: 01 Sep 2005 11:04:40

---

---

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

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

Required To Build: shells/bash, lang/polyml, lang/perl5.8
Required To Run: math/proofgeneral, shells/bash, devel/rlwrap, lang/polyml, lang/perl5.8

---

To install the port: cd /usr/ports/math/isabelle/ && make install clean
To add the package: pkg_add -r isabelle

---

Configuration Options

===> The following configuration options are available for isabelle-2009_1:
     SMLNJ=off (default) "Use SML/NJ (devel) instead of faster Poly/ML"
     RLWRAP=on (default) "Use rlwrap as line editor"
     LEDIT=off (default) "Use ledit as line editor"
     HOL_ALGEBRA=off (default) "Build optional heap: HOL-Algebra"
     HOL_NOMINAL=off (default) "Build optional heap: HOL-Nominal"
     HOL_NSA=off (default) "Build optional heap: HOL-NSA"
     HOL_WORD=off (default) "Build optional heap: HOL-Word"
     HOL_TLA=off (default) "Build optional heap: TLA"
     HOL_HOL4=off (default) "Build optional heap: HOL4"
===> Use 'make config' to modify these settings

---

Master Sites:

http://isabelle.in.tum.de/dist/

http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/

http://mirror.cse.unsw.edu.au/pub/isabelle/dist/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

- update to jpeg-8

- Update to 2009

PR:             139737
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)

[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>

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)

- Update to 2007

PR:             ports/121000
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)

Move the USE_PERL definitions, and others, before pre.mk inclusion.  This
will be needed to conditionalize bsd.perl.mk inclusion.

Approved by:    maintainer

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>

- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.

- Fix crash with lang/polyml.

PR:             109958
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)

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)

Fix plist: don't remove nls/en_US.US-ASCII or nls/POSIX

PR:             ports/99341
Submitted by:   shaun (me)
Approved by:    ahze (mentor)

add SHA256 checksum

- Update to 2005

PR:             ports/94671
Submitted by:   maintainer

Add isabelle 2004, a generic proof assistant.

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

5 vulnerabilities affecting 16 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities