aboutsummaryrefslogtreecommitdiff
path: root/lang/twelf
Commit message (Expand)AuthorAgeFilesLines
* - update to 1.4.1Dirk Meyer2010-03-281-1/+1
* - update to jpeg-8Dirk Meyer2010-02-051-1/+1
* - bump all port that indirectly depends on libjpeg and have not yet been bump...Dirk Meyer2009-07-311-0/+1
* - Update to 1.5R1Wesley Shields2009-04-1112-146/+421
* 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