Navigation:
Browse pkgsrc
(this page)| 2004-03-07 18:47:22 by Stoned Elipot | Files touched by this commit (1) |
Log message: Remove info files entries from PLIST. |
| 2003-08-09 12:59:13 by Stoned Elipot | Files touched by this commit (21) |
Log message: USE_NEW_TEXINFO is unnecessary now. |
| 2003-07-08 01:33:50 by Stoned Elipot | Files touched by this commit (4) |
Log message: Install documentation in pkgsrc canonical directories. Add directory entry to twelf.info via patch file. Avoid patch backup files to be installed. Convert to USE_NEW_TEXINFO. Bump PKGREVISION. |
| 2003-03-29 13:43:15 by Julio Merino | Files touched by this commit (795) |
Log message: Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz. |
| 2003-03-21 23:57:35 by Thomas Klausner | Files touched by this commit (1) |
Log message: Use smlnj's Makefile.common for platform support checks. |
| 2003-03-21 23:23:01 by Thomas Klausner | Files touched by this commit (1) |
Log message: sml-nj renamed to smlnj. |
2003-01-22 23:41:25 by Krister Walfridsson | Files touched by this commit (7) |  |
Log message:
Initial import of twelf-1.4 as contributed by Christopher Richards in
PR 18497.
>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.
|
New packages: