Date: Sat, 26 Nov 2005 12:49:47 +0000 (UTC) From: Edwin Groothuis <edwin@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/lang Makefile ports/lang/twelf Makefile distinfo pkg-descr pkg-plist ports/lang/twelf/files patch-Makefile patch-twelf.info Message-ID: <200511261249.jAQCnlxD073438@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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" <andrew@hobnob.com>
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)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200511261249.jAQCnlxD073438>