twelf 1.5R1_4 lang =0

RESTRICTED: License is currently indeterminate (expected to be GPL)
A meta-logical framework for deductive systems
Maintained by: andrewb@cs.cmu.edu
Port Added: 26 Nov 2005 13:27:41
License: not specified in port

---

---

The Twelf implementation comprises

 * the LF logical framework, including type reconstruction;
 * the Elf constraint logic programming language;
 * an inductive meta-theorem prover for LF;
 * and an Emacs interface.

Twelf provides a uniform meta-language for specifying,
implementing, and proving properties of programming languages
and logics.  Example suites include Cartesian Closed Categories
and lambda-calculus, the Church-Rosser theorem for the untyped
lambda-calculus, Mini-ML including type preservation and
compilation, cut elimination, theory of logic programming,
and Hilbert's deduction theorem.

-- the Twelf home page

WWW: http://www.cs.cmu.edu/~twelf

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

---

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.
Required To Build: lang/sml-nj, print/teTeX
Required To Run: lang/sml-nj
There are no ports dependent upon this port

---

To install the port: cd /usr/ports/lang/twelf/ && make install clean

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

---

Configuration Options

     No options to configure

---

Master Sites:

http://www-2.cs.cmu.edu/~twelf/dist/

http://www.cs.cmu.edu/~twelf/dist/

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

The vast majority of pkg-descr files had the following format when they
had both lines:

Author: ...
WWW: ....

So standardize on that, and move them to the end of the file when necessary.

Also fix some more whitespace, and remove more "signature tags" of varying
forms, like -- name, etc.

s/AUTHOR/Author/

A few other various formatting issues

- remove MD5

Bump PORTREVISION after open-mofit update

- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi

- update to jpeg-8

- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by:   edwin

- Update to 1.5R1

PR:             ports/131631
Submitted by:   Andrew Bernard <andrewb@cs.cmu.edu> (maintainer)

Remove USE_REINPLACE from the categories starting with L

New port: lang/twelf A meta-logical framework for deductive systems

        The Twelf implementation comprises
         * the LF logical framework, including type reconstruction;
         * the Elf constraint logic programming language;
         * an inductive meta-theorem prover for LF;
         * and an Emacs interface.

PR:             ports/84625
Submitted by:   "Andrew Bernard" <andrew@hobnob.com>

14 vulnerabilities affecting 33 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities