ports/53061: New Port: UniForM workbench, a tool integration framework for Haskell, including Htk

[Guy Coleman]

>Number:         53061
>Category:       ports
>Synopsis:       New Port: UniForM workbench, a tool integration framework for Haskell, including Htk
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Sun Jun 08 10:20:09 PDT 2003
>Closed-Date:
>Last-Modified:
>Originator:     Guy Coleman
>Release:        FreeBSD 5.0-RELEASE-p7 i386
>Organization:
>Environment:


System: FreeBSD fire.alarm 5.0-RELEASE-p7 FreeBSD 5.0-RELEASE-p7 #0: Sun Mar 30 15:09:38 BST 2003     root at fire.alarm:/usr/obj/usr/src/sys/FIRE i386  


>Description:


The UniForM workbench is an integration framework mainly geared towards tools for formal methods. It uses a simple, powerful and flexible notion of events to model all interactions between tools and users. In particular, the workbench provides HTk, an encapsulation of Tcl/Tk based on our event model (see HTk under Graphical User Interfaces).

WWW: http://www.informatik.uni-bremen.de/uniform/wb/


>How-To-Repeat:





>Fix:





>Release-Note:
>Audit-Trail:
>Unformatted: