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
twelf 1.7.1 lang on this many watch lists=0 search for ports that depend on this port
Meta-logical framework for deductive systems
Maintained by: beyert@cs.ucr.edu search for ports maintained by this maintainer
Port Added: 26 Nov 2005 13:27:41
Also Listed In: math
License: BSD2CLAUSE


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
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. lang/mlton
  2. textproc/texi2html
  3. print/texinfo
  4. print/tex-formats
  5. print/tex-dvipsk
  6. devel/gmake
Required To Run:
  1. lang/mlton
  2. print/indexinfo
There are no ports dependent upon this port

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


Configuration Options
     No options to configure

Master Sites:
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://twelf.plparty.org/releases/
  3. http://www-2.cs.cmu.edu/~twelf/dist/
  4. http://www.cs.cmu.edu/~twelf/dist/

Number of commits found: 18

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
23 Jul 2014 12:58:35
Original commit files touched by this commit  1.7.1
Revision:362672
bapt search for other commits by this committer
Do not hardcode dvips dependency
21 Jul 2014 22:14:39
Original commit files touched by this commit  1.7.1
Revision:362507
bapt search for other commits by this committer
Fix build with texlive
16 Jul 2014 20:37:19
Original commit files touched by this commit  1.7.1
Revision:362110
riggs search for other commits by this committer
- Update to latest upstream release 1.7.1
- Assign maintainership to Timothy Beyer <beyert@cs.ucr.edu>
  (previously ports@)
- General cleanup
- Add LICENSE
- Remove twelf from LEGAL (port is now BSD2CLAUSE licensed)

PR:		191758
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu>
Approved by:	mentors (implicit)
05 Jul 2014 19:27:04
Original commit files touched by this commit  1.5R1_5
Revision:360810
olgeni search for other commits by this committer
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Categories J-L.

CR:		D305
Approved by:	portmgr (swills)
10 May 2014 16:09:49
Original commit files touched by this commit  1.5R1_5
Revision:353576
antoine search for other commits by this committer
Maintainer no longer wishes to maintain those ports

With hat:	portmgr
20 Sep 2013 19:53:10
Original commit files touched by this commit  1.5R1_5
Revision:327741
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
11 May 2013 17:58:56
Original commit files touched by this commit  1.5R1_5
Revision:317899
hrs search for other commits by this committer
Rectify USE_TEX to support both of teTeX and TeXLive.

TEX_DEFAULT:
	A knob to choose teTeX or TeXLive.  One can specify in /etc/make.conf.

USE_TEX:
	A knob for port developers.  Valid keywords are listed in
	bsd.tex.mk.
06 May 2013 02:00:41
Original commit files touched by this commit  1.5R1_5
Revision:317455
hrs search for other commits by this committer
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier.
01 Jun 2012 05:26:28
Original commit files touched by this commit  1.5R1_5
dinoex search for other commits by this committer
- update png to 1.5.10
24 Oct 2011 09:11:38
Original commit files touched by this commit  1.5R1_4
dougb search for other commits by this committer
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
03 Jul 2011 13:45:36
Original commit files touched by this commit  1.5R1_4
ohauer search for other commits by this committer
- remove MD5
02 May 2011 12:44:53
Original commit files touched by this commit  1.5R1_4
makc search for other commits by this committer
Bump PORTREVISION after open-mofit update
28 Mar 2010 06:47:48
Original commit files touched by this commit  1.5R1_3
dinoex search for other commits by this committer
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
05 Feb 2010 11:46:55
Original commit files touched by this commit  1.5R1_2
dinoex search for other commits by this committer
- update to jpeg-8
31 Jul 2009 13:57:52
Original commit files touched by this commit  1.5R1_1
dinoex search for other commits by this committer
- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by:   edwin
11 Apr 2009 03:00:02
Original commit files touched by this commit  1.5R1
wxs search for other commits by this committer
- Update to 1.5R1

PR:             ports/131631
Submitted by:   Andrew Bernard <andrewb@cs.cmu.edu> (maintainer)
09 May 2006 20:52:24
Original commit files touched by this commit  1.4
edwin search for other commits by this committer
Remove USE_REINPLACE from the categories starting with L
26 Nov 2005 12:49:47
Original commit files touched by this commit  1.4
edwin search for other commits by this committer
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>

Number of commits found: 18

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
otrsDec 16
mod_dav_svnDec 15
subversionDec 15
subversion16Dec 15
subversion17Dec 15
nvidia-driverDec 14
nvidia-driver-173Dec 14
nvidia-driver-304Dec 14
nvidia-driver-71Dec 14
nvidia-driver-96Dec 14
asterisk11Dec 11
bind99Dec 11
xorg-serverDec 10
unboundDec 09
freetype2Dec 07

11 vulnerabilities affecting 47 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 24437
Broken 139
Deprecated 70
Ignore 394
Forbidden 3
Restricted 206
No CDROM 93
Vulnerable 22
Expired 0
Set to expire 65
Interactive 0
new 24 hours 1
new 48 hours6
new 7 days29
new fortnight57
new month244

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