Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
sasylf-users
Conversations
About
Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
sasylf-users
1–8 of 8
Mark all as read
Report group
0 selected
John Boyland
2/7/14
SASyLF 1.2.4 released
SASyLF 1.2.4 is now released on SourceForge. https://sourceforge.net/projects/sasylf/ There is a link
unread,
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
9/17/09
sorry for the spam
Unfortunately it looks like the spammers have figured out how to cost- effectively defeat
unread,
sorry for the spam
Unfortunately it looks like the spammers have figured out how to cost- effectively defeat
9/17/09
Jonathan Aldrich
, …
John Boyland
3
8/4/09
Re: giving exact cases
I have a student working on proving things from Chapter 30 of TAPL. One of the lemmas requires
unread,
Re: giving exact cases
I have a student working on proving things from Chapter 30 of TAPL. One of the lemmas requires
8/4/09
Daniel Spiewak
,
Jonathan Aldrich
6
7/31/09
SASyLF Mode for jEdit
I would be in favor of comprehensive error messages on missing cases. Scala does something like this
unread,
SASyLF Mode for jEdit
I would be in favor of comprehensive error messages on missing cases. Scala does something like this
7/31/09
Daniel Spiewak
2
11/11/08
More jEdit Tool Support
Oh, I forgot to mention. You can mouse over the error highlights and see what the error message is in
unread,
More jEdit Tool Support
Oh, I forgot to mention. You can mouse over the error highlights and see what the error message is in
11/11/08
Daniel Spiewak
11/10/08
RFE: Improvement on "last derivation in sequence does not match"
Consider the following simple example (assume the obvious syntax and judgments have been defined): _:
unread,
RFE: Improvement on "last derivation in sequence does not match"
Consider the following simple example (assume the obvious syntax and judgments have been defined): _:
11/10/08
John Boyland
,
Jonathan Aldrich
2
10/27/08
RFE: and judgments
John, Thanks a lot for your proposal...the existing workaround is indeed somewhat annoying
unread,
RFE: and judgments
John, Thanks a lot for your proposal...the existing workaround is indeed somewhat annoying
10/27/08
John Boyland
10/24/08
RFE: chatter
I'd like SASyLF to have the option of some chatter in the case that things are working. Something
unread,
RFE: chatter
I'd like SASyLF to have the option of some chatter in the case that things are working. Something
10/24/08
