Decomposition Release History

From Event-B
Revision as of 15:28, 18 November 2009 by imported>Pascal (→‎Creation)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Version 1.0.0

Not yet released, waiting for Rodin 1.2.

  • Initial release.

Version x.x.x

TODO: List here the new features and improvements.

Improvements

Bug fixes