4 commits

Author	SHA1	Message	Date
Dirk Meyer	eca78ec61b	- bump all port that indirectly depends on libjpeg and have not yet been bumped or updated ... Requested by: edwin	2009-07-31 13:57:52 +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	7c6393360c	Remove USE_REINPLACE from the categories starting with L	2006-05-09 20:52:24 +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