homebrew-core

Commit Graph

Author	SHA1	Message	Date
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

Author

SHA1

Message

Date

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

3 Commits (bb7479d6803f477aa279503f4730793faad0ab4d)