minor improvements in A4E
2 views
Skip to first unread message
DanArBer
Dec 6, 2007, 7:46:46 AM12/6/07
to Alloy 4 Eclipse users
Dear A4E users,
A new release is available on the update site: 0.2.14.
It includes a few usability bug fixes : CTRL-F11 now works fine if you
launched a command by double clicking on it, the Graphical view is
activated when displaying a model or counter example, etc.
Some options and features have been added:
- CNF generation time and CNF solving time are now being displayed as
in A4.
- In the A4E preferences, one can choose wheather or not to clear the
console for each command.
- It is possible to access the sample models that ships with A4 from
the project view contextuel menu (the path to those models need to be
configured in the preferences).
Note that this release contains a development release of Alloy 4 (pre
RC12).
That release is intended you current A4E users.
The next major release of A4E that will be advertised will follow the
release of A4 RC12.
--Daniel
A new release is available on the update site: 0.2.14.
It includes a few usability bug fixes : CTRL-F11 now works fine if you
launched a command by double clicking on it, the Graphical view is
activated when displaying a model or counter example, etc.
Some options and features have been added:
- CNF generation time and CNF solving time are now being displayed as
in A4.
- In the A4E preferences, one can choose wheather or not to clear the
console for each command.
- It is possible to access the sample models that ships with A4 from
the project view contextuel menu (the path to those models need to be
configured in the preferences).
Note that this release contains a development release of Alloy 4 (pre
RC12).
That release is intended you current A4E users.
The next major release of A4E that will be advertised will follow the
release of A4 RC12.
--Daniel
Reply all
Reply to author
Forward
0 new messages