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