Dear all,
I just released version 0.2.29 of A4E.
The new version is available both from the update site and from the
download area at google code.
http://alloy4eclipse.googlecode.com/
It is mainly an upgrade to A4 4.1.7 that appeared yesterday.
No new version is expected until September 2008.
Please fill in new issues on A4E web site if you feel that some
features are missing.
The next big development effort for A4E is expected to be April-June
2009, if a group of student is interested in working on it.
Until then, I will mainly fix the bugs reported against the current
version.
Have fun,
Daniel Le Berre