Difference between revisions of "UML-B Release History"

From Event-B
Jump to navigationJump to search
imported>Colin
(New page: 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 ...)
 
imported>Colin
 
Line 1: Line 1:
  
 
Version 0.6.0 [for Rodin 1.1.0]
 
Version 0.6.0 [for Rodin 1.1.0]
- Axioms and Invariants can be made into Theorems (theorems almost everywhere)
+
* 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)
+
* Machines and Contexts have new properties tabs for Classes and ClassTypes (allowing re-ordering for translation)
- Double click to open diagrams
+
* Double click to open diagrams
- (fix bug in state machine translation of nested final transitions)
+
* (fix bug in state machine translation of nested final transitions)

Latest revision as of 09:54, 20 October 2009

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)