aboutsummaryrefslogtreecommitdiff
path: root/lang/twelf/distinfo
Commit message (Expand)AuthorAgeFilesLines
* New port: lang/twelf A meta-logical framework for deductive systemsEdwin Groothuis2005-11-261-0/+3