Alloy 0.2.17 released
0 views
Skip to first unread message
DanArBer
Jan 9, 2008, 4:40:01 PM1/9/08
to Alloy 4 Eclipse users
Best wishes and happy new year to eveybody!
I just released version 0.2.17 of A4E: it is a bugfix release
preventing the plugin to display an Error message every now and then.
There is a cool new feature inside too: code completion for most A4
identifiers (signatures, predicates, functions, assertions).
The development of the plugin should be very active in the next 3
months since i got two new students working on it this semester.
Cheers,
--Daniel
I just released version 0.2.17 of A4E: it is a bugfix release
preventing the plugin to display an Error message every now and then.
There is a cool new feature inside too: code completion for most A4
identifiers (signatures, predicates, functions, assertions).
The development of the plugin should be very active in the next 3
months since i got two new students working on it this semester.
Cheers,
--Daniel
Reply all
Reply to author
Forward
0 new messages