Difference between revisions of "UML-B release notes for 0.5.8"
From Event-B
Jump to navigationJump to searchimported>Colin (New page: ==New Features== '''Statemachine Refinement''' '''Manual invocation of U2B translator''' '''Migration tool''' '''Improve Diagram management''' '''Improve Event-B file management''' '...) |
(No difference)
|
Revision as of 14:48, 4 March 2009
New Features
Statemachine Refinement
Manual invocation of U2B translator
Migration tool
Improve Diagram management
Improve Event-B file management
Improve properties view
Bug Fixes
Improvements to synchronise diagram editing so that unsaved changes are not lost.
Default names of new elements were not unique