Rodin Editor
From Event-B
Revision as of 16:13, 1 July 2011 by imported>Tommy (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...)
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.