>Number:         18497
>Category:       pkg
>Synopsis:       New package lang/twelf v1.3R4: meta-language for proving properties of languages and logics
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    pkg-manager
>State:          open
>Class:          change-request
>Submitter-Id:   net
>Arrival-Date:   Tue Oct 01 22:49:00 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     Christopher Richards
>Release:        NetBSD 1.6
>Organization:
>Environment:
	
	
System: NetBSD zembla.Princeton.EDU 1.6 NetBSD 1.6 (ZEMBLA) #0: Wed Sep 18 22:33:25 EDT 2002 richards@zembla.Princeton.EDU:/home/richards/src/kern i386
Architecture: i386
Machine: i386
>Description:
	
	A new package for Twelf 1.3R4, a meta-language, or logical
	framework, for proving properties of programming languages and
	logics; developed at CMU by Frank Pfenning and Carsten Schuermann.
	Includes also a contraint logic programming engine and Emacs
	interface.	
>How-To-Repeat:
	
>Fix:
	
	Please find a gzipped tarball of the new package at
	<http://www.cs.princeton.edu/~richards/dist/twelf-pkgsrc.tgz>.

	Note that the patches in the "patches" directory are mostly taken
	from a recent CVS version of Twelf, so there is no need to submit
	them to the upstream authors.
>Release-Note:
>Audit-Trail:
>Unformatted: