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.10.24.09.10.15;	author dougb;	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
@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
@
text
@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.

Twelf provides a uniform meta-language for specifying,
implementing, and proving properties of programming languages
and logics.  Example suites include Cartesian Closed Categories
and lambda-calculus, the Church-Rosser theorem for the untyped
lambda-calculus, Mini-ML including type preservation and
compilation, cut elimination, theory of logic programming,
and Hilbert's deduction theorem.

-- the Twelf home page

WWW: http://www.cs.cmu.edu/~twelf
@


1.2
log
@- Update to 1.5R1

PR:		ports/131631
Submitted by:	Andrew Bernard <andrewb@@cs.cmu.edu> (maintainer)
@
text
@a18 1
Maintainer: Andrew Bernard (andrewb@@cs.cmu.edu)
@


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
@a0 1

d19 1
@

