A short overview of all the new features is documented in:
[url]http://spinroot.com/spin/Doc/V6.Updates[/url]
In short, it has support for inline ltl formula (something that changes
the way we use Spin and should be a very significant improvement in
the ease of use of using ltl), new (more conventional) scope rules,
and a few new language constructs, see for instance:
[url]http://spinroot.com/spin/Man/for.html[/url]
[url]http://spinroot.com/spin/Man/select.html[/url]
The new GUI ispin.tcl is also included in the distribution, and should
be a notable improvement over the old xspin.
Recommended background tools (not required though) include:
dot (graphviz package from AT&T), curl (for version checking in
ispin, through the Help menu), and swarm. And as always you'll
need a C-compiler (gcc is perfect). On a PC cygwin is strongly
recommended, but not required.
Manpages have been updated and most of the relevant documentation.
The sources should compile cleanly, without any warnings, on all
platforms. Spin 6.0 has been tested on Windows, Linux, and MACs.
Please report any problems on this forum, or by sending an email to
bugs@spinroot.com