Difference between revisions of "Rodin Editor"

From Event-B
Jump to: navigation, search
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...)
 
m
Line 1: Line 1:
 
Return to [[Rodin Plug-ins]]
 
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.
+
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. Moreover, it was impossible to show some information, which are needed when one edits an Event-B model (such as the inherited elements which were formerly displayed only in the pretty print view). This is to solve all these issues that the Rodin Editor was created.
  
 
=== Installation Details ===
 
=== Installation Details ===
 +
{{TODO}} Document this part when the plug-in is released.
  
 
=== How do I use it ? ===
 
=== How do I use it ? ===
 
+
The Rodin Editor might not be the 'preferred' editor that Rodin uses to open your Event-B models.<br>
 +
Thus, to open a component (e.g. a machine, a context, etc.), '''right click''' on it and select '''Open with''' > '''Rodin Editor'''.
  
 
=== Available keyboard shortcurts ===
 
=== Available keyboard shortcurts ===

Revision as of 16:18, 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. Moreover, it was impossible to show some information, which are needed when one edits an Event-B model (such as the inherited elements which were formerly displayed only in the pretty print view). This is to solve all these issues that the Rodin Editor was created.

Installation Details

TODO Document this part when the plug-in is released.

How do I use it ?

The Rodin Editor might not be the 'preferred' editor that Rodin uses to open your Event-B models.
Thus, to open a component (e.g. a machine, a context, etc.), right click on it and select Open with > Rodin Editor.

Available keyboard shortcurts

Customize this list

Tips