Subject: Re: pkg/18497: New package lang/twelf v1.3R4: meta-language for proving properties of languages and logics
To: None <netbsd-bugs@netbsd.org>
From: Christopher Richards <richards+netbsd@CS.Princeton.EDU>
List: netbsd-bugs
Date: 01/21/2003 02:04:49 
On 2 Oct 2002 05:48:04 GMT, richards+netbsd@CS.Princeton.EDU wrote:

> >Number:         18497
> >Category:       pkg
> >Synopsis:       New package lang/twelf v1.3R4: meta-language for
> >                proving properties of languages and logics

Twelf 1.4 has been released in the meanwhile.  The pkgsrc tarball at

 	<http://www.cs.princeton.edu/~richards/dist/twelf-pkgsrc.tgz>

has been updated.

-- 
Chris