UML-B release notes for 0.5.8
From Event-B
Revision as of 14:48, 4 March 2009 by imported>Colin (New page: ==New Features== '''Statemachine Refinement''' '''Manual invocation of U2B translator''' '''Migration tool''' '''Improve Diagram management''' '''Improve Event-B file management''' '...)
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