UML-B Release History
From Event-B
Revision as of 09:54, 20 October 2009 by imported>Colin
Version 0.6.0 [for Rodin 1.1.0]
- Axioms and Invariants can be made into Theorems (theorems almost everywhere)
- Machines and Contexts have new properties tabs for Classes and ClassTypes (allowing re-ordering for translation)
- Double click to open diagrams
- (fix bug in state machine translation of nested final transitions)