Tentative Eclipse Update site available for Alloy4Eclipse project

[daniel....@gmail.com]

I just created an eclipse update site for the project.

It is currently available at:
http://alloy4eclipse.googlecode.com/svn/trunk/updatesite/

To use it, just go within Eclipse to Help/Software Update/Find and
install ...
Then Search for new features to install
Add the Alloy 4 update site as a "new remote site".

You can use whatever name you like for the update site name. Use the
above URL in the second field.

Then just follow the usual Eclipse update process.

Note that it is the first time I make an update site for an Eclipse
plugin so please report on that group any problem related to that way
of installing it :)

Note that it is only a trial: the available plugin is built from the
latest SVN code, which does not add new features apart displaying the
visualization frame outside Eclipse when a model or counter example is
found. I just created it in order to get some feedback about that way
of distributing the plugin. If the feedback is good, I plan to make
the next deliverables accessible that way.

Your feedback about this is welcome.

Cheers,

Daniel

[daniel....@gmail.com]

I just uploaded a new version of the plugin on the site (0.0.4).

The Eclipse update manager should spot it.

In the editor, signatures and quantifiers are now rendered differently
than the other identifiers.

--Daniel