Decomposition Release History

From Event-B
Revision as of 15:28, 18 November 2009 by imported>Pascal (→‎Version x.x.x)
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