4 commits

Author	SHA1	Message	Date
Thomas Klausner	4c850f93bc	Remove obsolete @dirrm lines.	2009-10-11 10:44:24 +00:00
Tobias Nygren	aecc0a8a41	PKGMANDIR	2008-02-03 17:42:49 +00:00
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