CVS commit: wip/vis

[David Howland <dhowland%users.sourceforge.net@localhost>]

Module name:    wip
Committed by:   dhowland
Date:           Wed Nov 15 04:00:50 UTC 2006

Import into wip/vis

Log Message:
VIS is a system for formal verification, synthesis, and simulation of finite
state systems. It has been developed jointly at the University of California
at Berkeley, the University of Colorado at Boulder, and more recently at the
University of Texas, Austin.

Status:

Vendor Tag:     dhowland
Release Tags:   dhowland_20061114
                
N wip/vis/PLIST
N wip/vis/TODO
N wip/vis/Makefile
N wip/vis/DESCR
N wip/vis/distinfo

No conflicts created by this import


-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys - and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
pkgsrc-wip-cvs mailing list
pkgsrc-wip-cvs%lists.sourceforge.net@localhost
https://lists.sourceforge.net/lists/listinfo/pkgsrc-wip-cvs