5 commits

Author	SHA1	Message	Date
Adam Vandenberg	4147b05c57	Use ruby style for inheritance.	2011-03-12 11:55:09 -08:00
Ville Lautanala	dc521bb9d7	xspin 5.2.5 ... Signed-off-by: Adam Vandenberg <flangy@gmail.com>	2010-10-07 06:58:12 -07:00
Adam Vandenberg	7490d38e84	Use Pathname support for renames.	2010-03-07 11:27:23 -08:00
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