NOTICE: This package has been removed from pkgsrc

./lang/twelf, Meta-language for proving properties of languages and logics

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ]

Branch: CURRENT, Version: 1.4nb2, Package name: twelf-1.4nb2, Maintainer: richards+netbsd

From http://www.twelf.org, heavily edited:

Twelf is a research project concerned with the design,
implementation, and application of logical frameworks. It
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 principal authors of Twelf are Frank Pfenning and Carsten
Schuermann, with major contrubtions by Brigitte Pientka, Roberto
Virga, and Kevin Watkins.


Required to run:
[lang/smlnj] [editors/emacs24]

Master sites:

SHA1: 3476fc18b7d0596df2c9847102d239de3eae813b
RMD160: 31ca91650fe46fb9dbe785eef91234c6c4d2d120
Filesize: 1428.865 KB

Version history: (Expand)

CVS history: (Expand)


   2015-01-04 11:14:15 by David A. Holland | Files touched by this commit (8) | Package removed
Log message:
Remove lang/twelf, as proposed on pkgsrc-users; it has not built in
years, is pretty well dead upstream, and is no longer of much interest
for research either.
   2013-04-06 22:27:30 by Blue Rats | Files touched by this commit (94) 
Log message:
Resolves:
"INFO_FILES should be set to YES or yes."
"Packages that install info files should set INFO_FILES."
Makefile and PLIST warning, respectively.
   2013-02-17 20:18:11 by David A. Holland | Files touched by this commit (90) 
Log message:
Revbump all elisp packages after emacs changes.
   2012-10-02 22:11:57 by Aleksej Saushev | Files touched by this commit (187) 
Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
   2010-02-04 02:21:40 by Joerg Sonnenberger | Files touched by this commit (1) 
Log message:
DESTDIR support
   2009-08-06 03:44:57 by Min Sik Kim | Files touched by this commit (67) 
Log message:
PKGREVISION bump for elisp packages because of bytecode format changes
in emacs23.
   2009-06-14 20:03:45 by Joerg Sonnenberger | Files touched by this commit (167) 
Log message:
Remove @dirrm entries from PLISTs
   2009-05-19 10:59:39 by Thomas Klausner | Files touched by this commit (383) 
Log message:
Use standard location for LICENSE line (in MAINTAINER/HOMEPAGE/COMMENT
block). Uncomment some commented out LICENSE lines while here.