2 commits

Author	SHA1	Message	Date
Sergey Svishchev	89f4f8ba0c	Low-hanging fruit: whitespace, PLIST sorting, HTTP redirects, USE_LANGUAGES	2006-11-25 11:50:59 +00:00
David Howland	b2c0905525	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.	2006-11-15 04:00:50 +00:00