A4E 0.2.25 available
0 views
Skip to first unread message
DanArBer
Mar 26, 2008, 6:12:37 PM3/26/08
to Alloy 4 Eclipse users
New features since M2:
- private members do appear now in the outline view decorated with a
nice locker
- A4 details now appear in the message console and in the evaluator
console.
- VizView can be easily closed from the outline view: individually
from a given command or all from the command parent. The VizViews are
now closed automatically when the corresponding editor is closed.
The new release is available on the update site.
Have fun,
--Daniel
- private members do appear now in the outline view decorated with a
nice locker
- A4 details now appear in the message console and in the evaluator
console.
- VizView can be easily closed from the outline view: individually
from a given command or all from the command parent. The VizViews are
now closed automatically when the corresponding editor is closed.
The new release is available on the update site.
Have fun,
--Daniel
Reply all
Reply to author
Forward
0 new messages