John Boyland has made a number of significant extensions and
improvements to SASyLF--completing missing checks, adding a nice
syntax for built-in conjunction, and updating the Eclipse plugin
(which wasn't working with the latest version of Eclipse).
A new version of the tool and the corresponding (now working) Eclipse
IDE plugin are now available at
sasylf.org as well as the Google Code
project,
http://sasylf.googlecode.com. John has also added
documentation on the Google Code site (also linked from
sasylf.org).
Thanks to John for the improvements!
Jonathan