1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-11 02:50:24 +00:00
Commit Graph

2 Commits

Author SHA1 Message Date
Edwin Groothuis
7c6393360c Remove USE_REINPLACE from the categories starting with L 2006-05-09 20:52:24 +00:00
Edwin Groothuis
70b1179c61 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>
2005-11-26 12:49:47 +00:00