Decomposition Plug-in User Guide: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Pascal |
imported>Pascal |
||
| Line 9: | Line 9: | ||
== Decomposing == | == Decomposing == | ||
=== Selecting the Input Machine === | |||
=== Setting the Preferences === | |||
Decomposition style, decomposition of the contexts, etc. | |||
=== Importing / Exporting the Configuration === | |||
== Reporting a Bug or Requesting a Feature == | == Reporting a Bug or Requesting a Feature == | ||
Revision as of 09:28, 3 November 2009
Introduction
Installing and Updating
Release Notes
Decomposition Plug-in Release History
Decomposing
Selecting the Input Machine
Setting the Preferences
Decomposition style, decomposition of the contexts, etc.
