aboutsummaryrefslogtreecommitdiff
path: root/lang/twelf
Commit message (Expand)AuthorAgeFilesLines
* Remove USE_REINPLACE from the categories starting with LEdwin Groothuis2006-05-091-1/+0
* New port: lang/twelf A meta-logical framework for deductive systemsEdwin Groothuis2005-11-266-0/+603