3 commits

Author	SHA1	Message	Date
Doug Barton	989772c9ac	The vast majority of pkg-descr files had the following format when they ... 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	2011-10-24 09:11:38 +00:00
Wesley Shields	0ece797080	- Update to 1.5R1 ... PR: ports/131631 Submitted by: Andrew Bernard <andrewb@cs.cmu.edu> (maintainer)	2009-04-11 03:00:02 +00:00
Edwin Groothuis	70b1179c61	New port: lang/twelf A meta-logical framework for deductive systems ... 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>	2005-11-26 12:49:47 +00:00