Date: Sun, 8 Jun 2003 18:17:41 +0100 From: "Guy Coleman" <gtchask@mm.st> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/53061: New Port: UniForM workbench, a tool integration framework for Haskell, including Htk Message-ID: 1055092661@fire.alarm Resent-Message-ID: <200306081720.h58HKAYX097828@freefall.freebsd.org>
| raw e-mail | index | archive | help
>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@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:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?1055092661>