2 commits

Author	SHA1	Message	Date
Max Howell	6d1c59c75c	Use dot versions and comment patches	2010-01-23 10:53:41 +00:00
Björn B. Brandenburg	473253db74	xspin GUI 5.2.3 ... A TCL/TK-based GUI for the Spin model checker. Manually installing xspin on Mac OS X requires edits to the script, as detailed at http://spinroot.com/spin/Man/README.html. The included DATA patch automates this. (My thanks go to adamv, who pointed out how to simplify this formula.)	2010-01-23 10:48:45 +00:00