UML-B release notes for 0.5.8: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>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
