It is available from the update site.
http://code.google.com/p/alloy4eclipse/wiki/HowToInstall
New features:
- compile on save feature properly implemented using the Eclipse
Builder mechanism
- outline view available
Note that users of former version of the plugin will need to add an
Alloy Builder to their Alloy project using the "Add Alloy Project
Nature" contextual action to their project.
A screenshot with the new outline view is available on the project
home page:
http://code.google.com/p/alloy4eclipse/
Feedback welcome.
Have fun!
Daniel, Antoine and Francois.