Difference between pages "UML-B Release History" and "UML-B Statemachine Animation Release History"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Colin
 
imported>Colin
(New page: ==New Features== None. This release is purely to change to Version 1.0.0 and to update allowable versions of dependencies. Category:UML-B)
 
Line 1: Line 1:
 +
==New Features==
  
−
Version 0.6.0 [for Rodin 1.1.0]
+
None.
−
* Axioms and Invariants can be made into Theorems (theorems almost everywhere)
+
This release is purely to change to Version 1.0.0 and to update allowable versions of dependencies.
−
* 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)
+
[[Category:UML-B]]

Revision as of 12:05, 8 June 2010

New Features

None. This release is purely to change to Version 1.0.0 and to update allowable versions of dependencies.

Retrieved from ‘https://wiki.event-b.org/index.php?title=UML-B_Release_History&oldid=10507’