Bug 84625

Summary: New port: lang/twelf A meta-logical framework for deductive systems
Product: Ports & Packages Reporter: Andrew Bernard <andrew>
Component: Individual Port(s)Assignee: freebsd-ports-bugs (Nobody) <ports-bugs>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
file.shar none

Description Andrew Bernard 2005-08-06 19:40:18 UTC 
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.
Comment 1 Pav Lucistnik freebsd_committer freebsd_triage 2005-10-08 21:27:47 UTC 
State Changed
From-To: open->feedback

Why have you ported 1.4, when 1.5 and even 1.5R1 are available? 

Reply:
My understanding is that 1.5 is a snapshot/working release,
whereas 1.4 is an alpha release, and is thus presumably more
stable.  I'd be happy to try porting 1.5R1 if it's important
to track the latest release.

Cheers,
Comment 2 Pav Lucistnik freebsd_committer freebsd_triage 2005-10-10 10:22:48 UTC 
State Changed
From-To: feedback->open

Feedback received
Comment 3 Edwin Groothuis freebsd_committer freebsd_triage 2005-11-26 12:49:46 UTC 
State Changed
From-To: open->closed

Committed, thanks!