Decomposition Release History

Version 1.0

• Initial release for Rodin 1.2.

Version 1.0.1

• Implemented a workaround to take contributed elements (records, …) into account. Works properly when NOT decomposing contexts.

Version 1.0.2

• Updated for Rodin 1.3.x.
• Includes a decomposition file where the decomposition settings can be saved for future reuse. Decomposition file is created from the wizard ('save as' button).
• When decomposing using the shared event style, a shared event composition machine is created which allows the reassembly of the sub-components (to validate the decomposition).
• Removes the 'theorem' tag from the typing guards.

Version x.y

TODO: List here the new features and improvements.

• Improvements

• Bug fixes