aboutsummaryrefslogtreecommitdiff
path: root/lang/twelf
Commit message (Collapse)AuthorAgeFilesLines
* The vast majority of pkg-descr files had the following format when theyDoug Barton2011-10-241-1/+0
| | | | | | | | | | | | | | | | | | | had both lines: Author: ... WWW: .... So standardize on that, and move them to the end of the file when necessary. Also fix some more whitespace, and remove more "signature tags" of varying forms, like -- name, etc. s/AUTHOR/Author/ A few other various formatting issues Notes: svn path=/head/; revision=284239
* - remove MD5Olli Hauer2011-07-031-1/+0
| | | | Notes: svn path=/head/; revision=276987
* Bump PORTREVISION after open-mofit updateMax Brazhnikov2011-05-021-1/+1
| | | | Notes: svn path=/head/; revision=273475
* - update to 1.4.1Dirk Meyer2010-03-281-1/+1
| | | | | | | | Reviewed by: exp8 run on pointyhat Supported by: miwi Notes: svn path=/head/; revision=251605
* - update to jpeg-8Dirk Meyer2010-02-051-1/+1
| | | | Notes: svn path=/head/; revision=249285
* - bump all port that indirectly depends on libjpeg and have not yet been ↵Dirk Meyer2009-07-311-0/+1
| | | | | | | | | bumped or updated Requested by: edwin Notes: svn path=/head/; revision=238701
* - Update to 1.5R1Wesley Shields2009-04-1112-146/+421
| | | | | | | | PR: ports/131631 Submitted by: Andrew Bernard <andrewb@cs.cmu.edu> (maintainer) Notes: svn path=/head/; revision=232048
* 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