Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
sasylf-announce
Conversations
About
sasylf-announce
Contact owners and managers
1–17 of 17
Mark all as read
Report group
0 selected
John
7/10/21
SASyLF 1.5.0 released (In December 2020)
SASyLF 1.5.0 (with module support) and a pre-release of 1.5.1 (quick fix for undeclared/misdeclared
unread,
SASyLF 1.5.0 released (In December 2020)
SASyLF 1.5.0 (with module support) and a pre-release of 1.5.1 (quick fix for undeclared/misdeclared
7/10/21
John
8/16/19
SASyLF 1.4.0 and SASyLF 1.4.1 (alpha 1) released
SASyLF 1.4.0 and a pre-release of SASyLF 1.4.1 (with module support) are available from the GitHub
unread,
SASyLF 1.4.0 and SASyLF 1.4.1 (alpha 1) released
SASyLF 1.4.0 and a pre-release of SASyLF 1.4.1 (with module support) are available from the GitHub
8/16/19
John
6/10/14
SASyLF 1.3.3 released
SASyLF 1.3.3 has been released to the SourceForge download site: https://sourceforge.net/projects/
unread,
SASyLF 1.3.3 released
SASyLF 1.3.3 has been released to the SourceForge download site: https://sourceforge.net/projects/
6/10/14
John
4/3/14
SASyLF 1.3.2 released
The latest version of SASyLF is 1.3.2 and is available on the SourceForge download page: https://
unread,
SASyLF 1.3.2 released
The latest version of SASyLF is 1.3.2 and is available on the SourceForge download page: https://
4/3/14
John
3/18/14
SASyLF 1.2.6 & SASyLF 1.3.1 released
Two new versions of SASyLF have been released on the SourceForge download site: https://sourceforge.
unread,
SASyLF 1.2.6 & SASyLF 1.3.1 released
Two new versions of SASyLF have been released on the SourceForge download site: https://sourceforge.
3/18/14
John
2/28/14
SASyLF 1.3.0 released
If you've used SASyLF before, you will know that it includes an optional "package"
unread,
SASyLF 1.3.0 released
If you've used SASyLF before, you will know that it includes an optional "package"
2/28/14
John
2/27/14
SASyLF 1.2.5 released
Another minor update in the 1.2 line has been released at SourceForge. This one improves the Quick
unread,
SASyLF 1.2.5 released
Another minor update in the 1.2 line has been released at SourceForge. This one improves the Quick
2/27/14
John
2/7/14
Announcement
SASyLF 1.2.4 released
SASyLF 1.2.4 is now released on SourceForge. https://sourceforge.net/projects/sasylf/ There is a link
unread,
Announcement
SASyLF 1.2.4 released
SASyLF 1.2.4 is now released on SourceForge. https://sourceforge.net/projects/sasylf/ There is a link
2/7/14
Jonathan Aldrich
1/17/12
Significant enhancements to SASyLF released
John Boyland has made a number of significant extensions and improvements to SASyLF--completing
unread,
Significant enhancements to SASyLF released
John Boyland has made a number of significant extensions and improvements to SASyLF--completing
1/17/12
Jonathan Aldrich
11/1/11
SASyLF 1.0.2 (uwm 6) beta available
SASyLF (uwm 6) was completed with help from John Boyland (boyland at uwm dot edu) who implemented the
unread,
SASyLF 1.0.2 (uwm 6) beta available
SASyLF (uwm 6) was completed with help from John Boyland (boyland at uwm dot edu) who implemented the
11/1/11
Jonathan Aldrich
10/7/09
SASyLF v1.0.2
SASyLF version 1.0.2 is now available at: http://www.cs.cmu.edu/~aldrich/SASyLF/SASyLF-1_0_2.zip (
unread,
SASyLF v1.0.2
SASyLF version 1.0.2 is now available at: http://www.cs.cmu.edu/~aldrich/SASyLF/SASyLF-1_0_2.zip (
10/7/09
Jonathan Aldrich
10/2/09
updated SASyLF Eclipse IDE
I updated the SASyLF Eclipse IDE tonight to work with Galileo, the latest version of Eclipse. As
unread,
updated SASyLF Eclipse IDE
I updated the SASyLF Eclipse IDE tonight to work with Galileo, the latest version of Eclipse. As
10/2/09
Jonathan Aldrich
2
12/12/08
SASyLF version 0.22 - bug fix release
SASyLF version 0.23 is now available at: http://www.cs.cmu.edu/~aldrich/SASyLF/SASyLF-0_23.zip In
unread,
SASyLF version 0.22 - bug fix release
SASyLF version 0.23 is now available at: http://www.cs.cmu.edu/~aldrich/SASyLF/SASyLF-0_23.zip In
12/12/08
Jonathan Aldrich
11/12/08
SASyLF IDE support - Eclipse and jEdit
A plugin for Eclipse providing simple IDE-like support for SASyLF is now available at www.sasylf.org.
unread,
SASyLF IDE support - Eclipse and jEdit
A plugin for Eclipse providing simple IDE-like support for SASyLF is now available at www.sasylf.org.
11/12/08
Jonathan Aldrich
10/21/08
SASyLF version 0.21 - bug fix release
SASyLF version 0.21 is now available at: http://www.cs.cmu.edu/~aldrich/SASyLF/SASyLF-0_21.zip This
unread,
SASyLF version 0.21 - bug fix release
SASyLF version 0.21 is now available at: http://www.cs.cmu.edu/~aldrich/SASyLF/SASyLF-0_21.zip This
10/21/08
Jonathan Aldrich
10/15/08
email lists (sasylf-announce, sasylf-users) and Google Code repository
I've created two Google Groups related to SASyLF: * http://groups.google.com/group/sasylf-
unread,
email lists (sasylf-announce, sasylf-users) and Google Code repository
I've created two Google Groups related to SASyLF: * http://groups.google.com/group/sasylf-
10/15/08
Jonathan Aldrich
10/15/08
SASyLF version 0.20 - partial support for mutual induction
SASyLF version 0.20 is now available at http://www.cs.cmu.edu/~aldrich/SASyLF/SASyLF-0_20.zip I'
unread,
SASyLF version 0.20 - partial support for mutual induction
SASyLF version 0.20 is now available at http://www.cs.cmu.edu/~aldrich/SASyLF/SASyLF-0_20.zip I'
10/15/08
