SASyLF 1.5.0 (with module support) and a pre-release of 1.5.1 (quick fix for undeclared/misdeclared

SASyLF 1.4.0 and a pre-release of SASyLF 1.4.1 (with module support) are available from the GitHub

SASyLF 1.3.3 has been released to the SourceForge download site: https://sourceforge.net/projects/

The latest version of SASyLF is 1.3.2 and is available on the SourceForge download page: https://

Two new versions of SASyLF have been released on the SourceForge download site: https://sourceforge.

If you've used SASyLF before, you will know that it includes an optional "package"

Another minor update in the 1.2 line has been released at SourceForge. This one improves the Quick

SASyLF 1.2.4 is now released on SourceForge. https://sourceforge.net/projects/sasylf/ There is a link

John Boyland has made a number of significant extensions and improvements to SASyLF--completing

SASyLF (uwm 6) was completed with help from John Boyland (boyland at uwm dot edu) who implemented the

SASyLF version 1.0.2 is now available at: http://www.cs.cmu.edu/~aldrich/SASyLF/SASyLF-1_0_2.zip (

I updated the SASyLF Eclipse IDE tonight to work with Galileo, the latest version of Eclipse. As

SASyLF version 0.23 is now available at: http://www.cs.cmu.edu/~aldrich/SASyLF/SASyLF-0_23.zip In

A plugin for Eclipse providing simple IDE-like support for SASyLF is now available at www.sasylf.org.

SASyLF version 0.21 is now available at: http://www.cs.cmu.edu/~aldrich/SASyLF/SASyLF-0_21.zip This

I've created two Google Groups related to SASyLF: * http://groups.google.com/group/sasylf-

SASyLF version 0.20 is now available at http://www.cs.cmu.edu/~aldrich/SASyLF/SASyLF-0_20.zip I'