head	1.3;
access;
symbols
	RELEASE_8_3_0:1.3
	RELEASE_9_0_0:1.3
	RELEASE_7_4_0:1.2
	RELEASE_8_2_0:1.2
	RELEASE_6_EOL:1.2
	RELEASE_8_1_0:1.2
	RELEASE_7_3_0:1.2
	RELEASE_8_0_0:1.2
	RELEASE_7_2_0:1.2
	RELEASE_7_1_0:1.1
	RELEASE_6_4_0:1.1
	RELEASE_5_EOL:1.1
	RELEASE_7_0_0:1.1
	RELEASE_6_3_0:1.1
	PRE_XORG_7:1.1
	RELEASE_4_EOL:1.1
	RELEASE_6_2_0:1.1
	RELEASE_6_1_0:1.1
	RELEASE_5_5_0:1.1;
locks; strict;
comment	@# @;


1.3
date	2011.07.03.13.45.35;	author ohauer;	state Exp;
branches;
next	1.2;

1.2
date	2009.04.11.03.00.01;	author wxs;	state Exp;
branches;
next	1.1;

1.1
date	2005.11.26.12.49.47;	author edwin;	state Exp;
branches;
next	;


desc
@@


1.3
log
@- remove MD5
@
text
@SHA256 (twelf-1-5R1.tar.gz) = d20473493cd39e111ce3585f8c32eefc79de4099ae4e97bfe2eb7695d6987564
SIZE (twelf-1-5R1.tar.gz) = 1157430
@


1.2
log
@- Update to 1.5R1

PR:		ports/131631
Submitted by:	Andrew Bernard <andrewb@@cs.cmu.edu> (maintainer)
@
text
@a0 1
MD5 (twelf-1-5R1.tar.gz) = 05b5c65f297c1f4ee07641682121ebbc
@


1.1
log
@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>
@
text
@d1 3
a3 3
MD5 (twelf-1-4.tar.gz) = ba4d2a374242dae6e3c0dada30adeae2
SHA256 (twelf-1-4.tar.gz) = 63d0a283f75201467b10d541d643eba82f0e52b0ee4ea88a391c574a314ad62a
SIZE (twelf-1-4.tar.gz) = 1463158
@

