Release 0.2.5
DanArBer
A4E plugin has improved a lot during the past few weeks thanks to the
help of Felix Chang @MIT and Nicolas Rouquette @JPL.
A new release of the plugin is now available on the update site:
0.2.5.
It is a major enhancement compared to the previous releases:
- A4 visualization is now fully embedded in A4E.
- the models are now displayed on separate views. You can have as many
views as you need.
- all the commands relative to the views are now located in the view.
- a default theming policy has been implemented: for a path/to/
filename.als spec file, the models will be rendered using the theme
file /path/to/filename.thm is any.
It is currently a snaptshot of A4 that ships will A4E. The plugin with
be updated as soon as the official A4 RC12 will be available.
Please let us know your feeling about that new release.
Cheers,
Daniel
DanArBer
- Nicolas Rouquette fixed several issues:
http://code.google.com/p/alloy4eclipse/issues/detail?id=25&can=1
http://code.google.com/p/alloy4eclipse/issues/detail?id=27&can=1
http://code.google.com/p/alloy4eclipse/issues/detail?id=28&can=1
- The outline view has been cleaned up (no folding icon appears if
there is no children in a section).
Some users might prefer to not show the section at all. Your feedback
is needed here.
- Code completion for Alloy 4 keywords is now working: just use ctrl-
space in the editor.
The plugin works fine under Linux and Windows. There is currently an
issue for Mac OS X Leopard platform
(many Java developers have issues with Leopard). Mac users using tiger
feedback is needed.
Have fun,
Daniel