Rodin Editor - Revision history

imported>Tommy: /* A basic overview */

2013-06-03T17:20:04Z

A basic overview

← Older revision		Revision as of 17:20, 3 June 2013
Line 36:		Line 36:
	The context component is then opened with the Rodin Editor.<br>		The context component is then opened with the Rodin Editor.<br>

	[[Image:RodinEditor_basicView2.png\|~~700px~~]]		[[Image:RodinEditor_basicView2.png\|600px]]

	On the figure above, you see the context component.<br>		On the figure above, you see the context component.<br>

imported>Tommy at 16:55, 3 June 2013

2013-06-03T16:55:53Z

← Older revision		Revision as of 16:55, 3 June 2013
Line 2:		Line 2:
	Return to [[Rodin Plug-ins]]		Return to [[Rodin Plug-ins]]

	[[Image:RodinEditor_basicView1.png\|~~390px~~\|left\|a basic view of the Rodin Editor on a context]]		[[Image:RodinEditor_basicView1.png\|450px\|left\|a basic view of the Rodin Editor on a context]]

	The Rodin Editor is an 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.		The Rodin Editor is an 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.

imported>Tommy: /* Current version */

2012-06-26T13:13:25Z

Current version

← Older revision		Revision as of 13:13, 26 June 2012
Line 11:		Line 11:
	Please have a look also at the [[Rodin Editor User Guide]].		Please have a look also at the [[Rodin Editor User Guide]].
	=== Current version ===		=== Current version ===
	Since Rodin 2.4, release on ~~February 2nd~~, the Rodin Editor is part of the core platform.		Since Rodin 2.4, release on January 31st, 2012, the Rodin Editor is part of the core platform.

	Thus, the Rodin Editor is no longer available as a separate plug-in from the main Rodin update site.		Thus, the Rodin Editor is no longer available as a separate plug-in from the main Rodin update site.

imported>Tommy at 13:12, 26 June 2012

2012-06-26T13:12:07Z

← Older revision		Revision as of 13:12, 26 June 2012
Line 2:		Line 2:
	Return to [[Rodin Plug-ins]]		Return to [[Rodin Plug-ins]]

	[[Image:RodinEditor_basicView1.png\|~~400px~~\|left\|a basic view of the Rodin Editor on a context]]		[[Image:RodinEditor_basicView1.png\|390px\|left\|a basic view of the Rodin Editor on a context]]

	The Rodin Editor is an 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.		The Rodin Editor is an 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.

imported>Tommy: /* A basic overview */

2012-06-26T13:03:17Z

A basic overview

← Older revision		Revision as of 13:03, 26 June 2012
Line 36:		Line 36:
	The context component is then opened with the Rodin Editor.<br>		The context component is then opened with the Rodin Editor.<br>

	[[Image:RodinEditor_basicView2.png\|~~600px~~]]		[[Image:RodinEditor_basicView2.png\|700px]]

	On the figure above, you see the context component.<br>		On the figure above, you see the context component.<br>

imported>Tommy: /* Principles */

2012-06-26T12:57:14Z

Principles

← Older revision		Revision as of 12:57, 26 June 2012
Line 29:		Line 29:

	'''Implicit elements are displayed in grayed colors.''' The elements that are implicit at the current level of edition are not editable, and displayed in grayed colors. (See the figure below)		'''Implicit elements are displayed in grayed colors.''' The elements that are implicit at the current level of edition are not editable, and displayed in grayed colors. (See the figure below)
	[[Image:RodinEditor_basicView4.png\|~~300px~~\|center]]		[[Image:RodinEditor_basicView4.png\|500px\|center]]

	=== A basic overview ===		=== A basic overview ===

imported>Tommy: /* Principles */

2012-06-26T12:56:47Z

Principles

← Older revision		Revision as of 12:56, 26 June 2012
Line 29:		Line 29:

	'''Implicit elements are displayed in grayed colors.''' The elements that are implicit at the current level of edition are not editable, and displayed in grayed colors. (See the figure below)		'''Implicit elements are displayed in grayed colors.''' The elements that are implicit at the current level of edition are not editable, and displayed in grayed colors. (See the figure below)
	[[Image:RodinEditor_basicView4.png\|~~400px~~\|center]]		[[Image:RodinEditor_basicView4.png\|300px\|center]]

	=== A basic overview ===		=== A basic overview ===

imported>Tommy: /* Current version */

2012-06-26T12:42:52Z

Current version

← Older revision		Revision as of 12:42, 26 June 2012
Line 11:		Line 11:
	Please have a look also at the [[Rodin Editor User Guide]].		Please have a look also at the [[Rodin Editor User Guide]].
	=== Current version ===		=== Current version ===
	~~The current version for <b>~~Rodin 2.~~3</b> is 0.6.1 released~~ on ~~Friday 2 December 2011.<br>~~		Since Rodin 2.4, release on February 2nd, the Rodin Editor is part of the core platform.
	~~The current version for <b>~~Rodin ~~2.2.x</b> is 0.5.0 released on Wednesday 13 July 2011. This version~~ is ~~not compatible with Rodin 2~~.~~3<br>~~

	~~''<span style="color:#FF4500">IMPORTANT ON RODIN 2.2: we identified~~ a ~~source of concurrency in the version 0.5.0 of the~~ plug-in~~.</span>''<br>~~		Thus, the Rodin Editor is no longer available as a separate plug-in from the main Rodin update site.
	~~<span style="color:#FF4500">'''To avoid any trouble, please do not generate files while having some~~ Rodin ~~Editor open, and edit only one model per project at once.'''</span><br>~~
	~~<span style="color:#FF4500">'''Try to~~ update ~~to Rodin 2~~.~~3 if you can'''</span>~~

	=== Principles ===		=== Principles ===

imported>Tommy at 17:48, 2 December 2011

2011-12-02T17:48:07Z

← Older revision		Revision as of 17:48, 2 December 2011
Line 11:		Line 11:
	Please have a look also at the [[Rodin Editor User Guide]].		Please have a look also at the [[Rodin Editor User Guide]].
	=== Current version ===		=== Current version ===
	The current version for <b>Rodin 2.3</b> is 0.6.0 released on ~~Thursday 1~~ December 2011.<br>		The current version for <b>Rodin 2.3</b> is 0.6.1 released on Friday 2 December 2011.<br>
	The current version for <b>Rodin 2.2.x</b> is 0.5.0 released on Wednesday 13 July 2011. This version is not compatible with Rodin 2.3<br>		The current version for <b>Rodin 2.2.x</b> is 0.5.0 released on Wednesday 13 July 2011. This version is not compatible with Rodin 2.3<br>

imported>Tommy: /* Current version */

2011-12-01T18:14:03Z

Current version

← Older revision		Revision as of 18:14, 1 December 2011
Line 15:		Line 15:

	''<span style="color:#FF4500">IMPORTANT ON RODIN 2.2: we identified a source of concurrency in the version 0.5.0 of the plug-in.</span>''<br>		''<span style="color:#FF4500">IMPORTANT ON RODIN 2.2: we identified a source of concurrency in the version 0.5.0 of the plug-in.</span>''<br>
	<span style="color:#FF4500">'''To avoid any trouble, please do not generate files while having some Rodin Editor open, and edit only one model per project at once.'''</span>		<span style="color:#FF4500">'''To avoid any trouble, please do not generate files while having some Rodin Editor open, and edit only one model per project at once.'''</span><br>
	<span style="color:#FF4500">'''Try to update to Rodin 2.3 if you can'''</span>		<span style="color:#FF4500">'''Try to update to Rodin 2.3 if you can'''</span>