New release 0.1.5 available on update site

[DanArBer]

Dear all,

a new release is now available on update site.

What's new:
- - updated to Alloy 4 RC 10 (no support for unsat core in the editor
yet).
- - added contribution from Nicolas Rouquette to select a
visualisation
theme.

Note that this release adds a new dependency to EMF.

If you do not have EMF installed on your Eclipse, please discard that
new release.

We will make our best to remove that dependency if possible in a new
future.

Cheers,

Daniel

[DanArBer]

Dear all,

Release 0.1.6 is now available on update site. I will be also
available for download on the project web site shortly.

It removes the dependency to EMF.

Many thanks to Nicolas Rouquette for his help on that issue.

Cheers,