aboutsummaryrefslogtreecommitdiff
path: root/lang/twelf/files
Commit message (Expand)AuthorAgeFilesLines
* - Update to 1.5R1Wesley Shields2009-04-118-91/+283
* New port: lang/twelf A meta-logical framework for deductive systemsEdwin Groothuis2005-11-262-0/+98