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...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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.

Installation Details

How do I use it ?

Available keyboard shortcurts

Customize this list

Tips