mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-29 05:38:00 +00:00
Code Issues Releases Activity
167,283 Commits 45 Branches 100 Tags 3.4 GiB
c502e04330
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