edwin 2005-11-26 12:49:47 UTC
FreeBSD ports repository
Modified files:
lang Makefile
Added files:
lang/twelf Makefile distinfo pkg-descr pkg-plist
lang/twelf/files patch-Makefile patch-twelf.info
Log:
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" <[EMAIL PROTECTED]>
Revision Changes Path
1.465 +1 -0 ports/lang/Makefile
1.1 +29 -0 ports/lang/twelf/Makefile (new)
1.1 +3 -0 ports/lang/twelf/distinfo (new)
1.1 +85 -0 ports/lang/twelf/files/patch-Makefile (new)
1.1 +13 -0 ports/lang/twelf/files/patch-twelf.info (new)
1.1 +19 -0 ports/lang/twelf/pkg-descr (new)
1.1 +454 -0 ports/lang/twelf/pkg-plist (new)
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[EMAIL PROTECTED]"
