Release 0.1.3 available

[daniel....@gmail.com]

Dear all,

I just updated our update site with release 0.1.3.

The main new features are that the graphical view is now embedded into
an eclipse view and that Alloy configuration is available from Eclipse
preferences page.

Note that you need to have for the moment platform specific binaries
on your path to be able to see graphical view and using another solver
than SAT4J.

It would be nice if you could give that new release a trial, and
report to this group your feeling about it.

We plan to qualify the current release to the first milestone of the
plugin, since we believe that the basic features are there.

However, we would like to be sure first that none of you meets a major
problem with that release.

Have fun,

Daniel

[Paulo Matos]

In this version (probably in other, didn't check it), When clicking on
the outline pane in eclipse it shows up a "Show Counter exemple"
option. It's a typo, should be "Show Counter Example"

Thanks for the great tool! :)

Cheers,

Paulo Matos