mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-25 09:34:11 +00:00
Code Issues Releases Activity
283,914 Commits 46 Branches 101 Tags 3.4 GiB
c5e92e0912
Commit Graph

2 Commits

Author SHA1 Message Date
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