Support parameterized sorts and kernel syntax in SDF editor consistency checks
Refinement of Spoofax/133.
Submitted by Lennart Kats on 7 July 2010 at 13:30
Issue Log
On 23 November 2011 at 13:02 Lennart Kats tagged interesting
On 23 November 2011 at 13:02 Lennart Kats removed tag 1.0
On 23 November 2011 at 13:42 Lennart Kats tagged 1.5
On 23 November 2011 at 13:42 Lennart Kats removed tag interesting
On 8 January 2013 at 12:55 Eelco Visser removed tag 1.5
On 8 January 2013 at 12:55 Eelco Visser tagged interesting
On 8 January 2013 at 17:06 Gabriël Konat removed tag interesting
On 8 January 2013 at 17:06 Gabriël Konat tagged sdf
On 8 January 2013 at 17:06 Gabriël Konat tagged editor
Log in to post comments