aboutsummaryrefslogtreecommitdiff
path: root/lang/twelf
Commit message (Collapse)AuthorAgeFilesLines
* Remove USE_REINPLACE from the categories starting with LEdwin Groothuis2006-05-091-1/+0
| | | | Notes: svn path=/head/; revision=161836
* New port: lang/twelf A meta-logical framework for deductive systemsEdwin Groothuis2005-11-266-0/+603
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> Notes: svn path=/head/; revision=149566