Dear Alloy users,
A new release of A4E is now available both on update site and as a
downloadable archive.
http://alloy4eclipse.googlecode.com/New features:
- Ships with Alloy 4.1.2
- Allow the user to close easily all views related to a spec file from
the outline panel.
- Former counter examples can now be closed when the model is fixed
(can be configured in the preferences).
- Completely removed remaining dependencies to dot
- Improved rename refactoring support.
Have fun,
The A4E team
--
Daniel Le Berre mailto:
leberre@...
MCF, CRIL-CNRS UMR 8188, Universite d'Artois
http://www.cril.univ-artois.fr/~leberre
