Difference between revisions of "Decomposition Plug-in User Guide"
From Event-B
Jump to navigationJump to searchimported>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.
