A4E 0.2.33 available!

[DanArBer]

Dear A4E users,

A new release of A4E is available.

Summary of changes:
the most significant change is that grounding to CNF and SAT solving
is now running in a separate JVM as in A4. As a consequence, it is now
possible to kill processes that take too long.
A few small issues have been fixes too, in order to improve the use of
A4E in a classroom.

Issues fixed:
http://code.google.com/p/alloy4eclipse/issues/detail?id=67
http://code.google.com/p/alloy4eclipse/issues/detail?id=68
http://code.google.com/p/alloy4eclipse/issues/detail?id=70
http://code.google.com/p/alloy4eclipse/issues/detail?id=53
http://code.google.com/p/alloy4eclipse/issues/detail?id=56
http://code.google.com/p/alloy4eclipse/issues/detail?id=73

Have fun,

The A4E team.