Difference between revisions of "Rodin Editor"
From Event-B
Jump to navigationJump to searchimported>Tommy m (New page: Return to Rodin Plug-ins The Rodin Editor is a new editor based on the same principles as the historical structured Event-B Editor. This latter editor shown its weakness while editing...) |
(No difference)
|
Revision as of 16:13, 1 July 2011
Return to Rodin Plug-ins
The Rodin Editor is a new editor based on the same principles as the historical structured Event-B Editor. This latter editor shown its weakness while editing large models. Furthermore, it was impossible to show some information, which is needed when one edits an Event-B model, such as the inherited elements which were formerly displayed only in the pretty print view.