A4E M3 available
0 views
Skip to first unread message
DanArBer
Apr 19, 2008, 6:30:15 AM4/19/08
to Alloy 4 Eclipse users
Dear A4E users,
A new release of A4E is now available both on update site and as a
downlodable archive.
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
A new release of A4E is now available both on update site and as a
downlodable archive.
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
Reply all
Reply to author
Forward
0 new messages