Module Name:	pkgsrc
Committed By:	kristerw
Date:		Wed Jan 22 22:41:25 UTC 2003

Update of /cvsroot/pkgsrc/lang/twelf
In directory minbar.netbsd.org:/tmp/cvs-serv5101

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.


Vendor Tag:	TNF
Release Tags:	pkgsrc-base
		
N pkgsrc/lang/twelf/DESCR
N pkgsrc/lang/twelf/PLIST
N pkgsrc/lang/twelf/distinfo
N pkgsrc/lang/twelf/Makefile
N pkgsrc/lang/twelf/MESSAGE
N pkgsrc/lang/twelf/patches/patch-aa
N pkgsrc/lang/twelf/patches/patch-ab

No conflicts created by this import