Alloy 4 Eclipse 0.2.23 released

[DanArBer]

Dear A4E users,

I just released version 0.2.23 of Alloy 4 Eclipse.

What's new:
- ships with Alloy 4 RC19, which contains a bug fix regarding XML file
support.
- provide a first approach to unsat core feature

When a command returns unsat, and if the SAT solver chosen is Minisat
unsat core, the unsat core will appear in the outline view, as a
subtree of the command.

[note that the minisat library must be available from your
LD_LIBRARY_PATH in order to use that feature. More details on
http://code.google.com/p/alloy4eclipse/wiki/HowToInstall]

We haven't found yet a way to display the whole core in the editor as
in A4 original GUI. Instead, a rough view of the core is shown when
clicking on the command. Clicking on each member of the unsat core in
the outline view allows to view it in the editor.

User feedback about that new feature is welcome.

Have fun,

--Daniel