Rodin Platform 2.8.0 External Plug-ins - Revision history

imported>Colin: /* Rodin Update Site */

2014-11-28T13:43:42Z

Rodin Update Site

← Older revision		Revision as of 13:43, 28 November 2014
Line 29:		Line 29:
	http://rodin-b-sharp.sourceforge.net/updates		http://rodin-b-sharp.sourceforge.net/updates

	['''NOTE''': updates to some plugins marked *** are available from a separate update site : http://users.ecs.soton.ac.uk/cfs/downloads/PluginsReleasesForRodin2_8/]		['''NOTE''': updates to some plugins marked *** are available from a separate update site : http://users.ecs.soton.ac.uk/cfs/downloads/PluginsReleasesForRodin2_8/ which you will need to add by clicking the 'Add...' button in the Install window]

	['''NOTE''' : some iUML-B plugins require an extra update site ~~to be added~~ for dependencies: http://download.eclipse.org/modeling/gmp/gmf-tooling/updates/releases/]		['''NOTE''' : some iUML-B plugins require an extra update site for dependencies: http://download.eclipse.org/modeling/gmp/gmf-tooling/updates/releases/ which you will need to add by clicking the 'Add...' button in the Install window]
	{{SimpleHeader}}		{{SimpleHeader}}
	\|-		\|-

imported>Colin: /* Rodin Update Site */

2014-11-28T13:38:01Z

Rodin Update Site

← Older revision		Revision as of 13:38, 28 November 2014
Line 30:		Line 30:

	['''NOTE''': updates to some plugins marked *** are available from a separate update site : http://users.ecs.soton.ac.uk/cfs/downloads/PluginsReleasesForRodin2_8/]		['''NOTE''': updates to some plugins marked *** are available from a separate update site : http://users.ecs.soton.ac.uk/cfs/downloads/PluginsReleasesForRodin2_8/]

	['''NOTE''' : some iUML-B plugins require an extra update site to be added for dependencies: http://download.eclipse.org/modeling/gmp/gmf-tooling/updates/releases/]		['''NOTE''' : some iUML-B plugins require an extra update site to be added for dependencies: http://download.eclipse.org/modeling/gmp/gmf-tooling/updates/releases/]
	{{SimpleHeader}}		{{SimpleHeader}}

imported>Colin: /* Rodin Update Site */

2014-11-28T13:37:32Z

Rodin Update Site

← Older revision		Revision as of 13:37, 28 November 2014
Line 30:		Line 30:

	['''NOTE''': updates to some plugins marked *** are available from a separate update site : http://users.ecs.soton.ac.uk/cfs/downloads/PluginsReleasesForRodin2_8/]		['''NOTE''': updates to some plugins marked *** are available from a separate update site : http://users.ecs.soton.ac.uk/cfs/downloads/PluginsReleasesForRodin2_8/]
			['''NOTE''' : some iUML-B plugins require an extra update site to be added for dependencies: http://download.eclipse.org/modeling/gmp/gmf-tooling/updates/releases/]
	{{SimpleHeader}}		{{SimpleHeader}}
	\|-		\|-
	! scope=col \| \|\| Plug-in name \|\| Version \|\| Status \|\| MCV* \|\| Release Date \|\| Contact \|\| Additional info		! scope=col \| \|\| Plug-in name \|\| Version \|\| Status \|\| MCV* \|\| Release Date \|\| Contact \|\| Additional info
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Statemachines\|Event-B State-machines]] \|\| 2.0.0.3xx \|\| <span style="color:green"> available ***</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| State-machines contained in Event-B Machines		\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Statemachines\|Event-B State-machines]] \|\| 2.0.0.3xx \|\| <span style="color:green"> available ***</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| State-machines contained in Event-B Machines [Requires adding the following update site for dependencies: http://download.eclipse.org/modeling/gmp/gmf-tooling/updates/releases/]
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 2.0.x and ProB 2.4.x		\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 2.0.x and ProB 2.4.x

imported>Colin: /* Rodin Update Site */

2014-11-28T13:34:42Z

Rodin Update Site

← Older revision		Revision as of 13:34, 28 November 2014
Line 29:		Line 29:
	http://rodin-b-sharp.sourceforge.net/updates		http://rodin-b-sharp.sourceforge.net/updates

	[~~Note~~: updates to some plugins marked *** are available from a separate update site : http://users.ecs.soton.ac.uk/cfs/downloads/PluginsReleasesForRodin2_8/]		['''NOTE''': updates to some plugins marked *** are available from a separate update site : http://users.ecs.soton.ac.uk/cfs/downloads/PluginsReleasesForRodin2_8/]

	{{SimpleHeader}}		{{SimpleHeader}}
Line 35:		Line 35:
	! scope=col \| \|\| Plug-in name \|\| Version \|\| Status \|\| MCV* \|\| Release Date \|\| Contact \|\| Additional info		! scope=col \| \|\| Plug-in name \|\| Version \|\| Status \|\| MCV* \|\| Release Date \|\| Contact \|\| Additional info
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Statemachines\|Event-B State-machines]] \|\| 2.0.0.~~30x~~ \|\| <span style="color:green"> available ***</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| State-machines contained in Event-B Machines		\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Statemachines\|Event-B State-machines]] \|\| 2.0.0.3xx \|\| <span style="color:green"> available ***</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| State-machines contained in Event-B Machines
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 2.0.x and ProB 2.4.x		\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 2.0.x and ProB 2.4.x
Line 47:		Line 47:
	\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for extensions]] \|\| 3.0.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.		\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for extensions]] \|\| 3.0.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.
	\|-		\|-
	\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for diagrams]] \|\| 4.0.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.		\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for diagrams]] \|\| 4.0.0.3xx \|\| <span style="color:green"> available ***</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.
	\|-		\|-
	\| \|\| [[Isabelle for Rodin]] \|\| \|\| <span style="color:#8B4513"> not checked</span> \|\| 2.x.x \|\| \|\| \|\|		\| \|\| [[Isabelle for Rodin]] \|\| \|\| <span style="color:#8B4513"> not checked</span> \|\| 2.x.x \|\| \|\| \|\|

imported>Colin: /* Rodin Update Site */

2014-11-28T13:32:42Z

Rodin Update Site

← Older revision		Revision as of 13:32, 28 November 2014
Line 28:		Line 28:

	http://rodin-b-sharp.sourceforge.net/updates		http://rodin-b-sharp.sourceforge.net/updates

			[Note: updates to some plugins marked *** are available from a separate update site : http://users.ecs.soton.ac.uk/cfs/downloads/PluginsReleasesForRodin2_8/]

	{{SimpleHeader}}		{{SimpleHeader}}
Line 33:		Line 35:
	! scope=col \| \|\| Plug-in name \|\| Version \|\| Status \|\| MCV* \|\| Release Date \|\| Contact \|\| Additional info		! scope=col \| \|\| Plug-in name \|\| Version \|\| Status \|\| MCV* \|\| Release Date \|\| Contact \|\| Additional info
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Statemachines\|Event-B State-machines]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| State-machines contained in Event-B Machines		\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Statemachines\|Event-B State-machines]] \|\| 2.0.0.30x \|\| <span style="color:green"> available ***</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| State-machines contained in Event-B Machines
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 2.0.x and ProB 2.4.x		\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 2.0.x and ProB 2.4.x

imported>Colin: /* Rodin Update Site */

2014-05-27T14:14:44Z

Rodin Update Site

← Older revision		Revision as of 14:14, 27 May 2014
Line 33:		Line 33:
	! scope=col \| \|\| Plug-in name \|\| Version \|\| Status \|\| MCV* \|\| Release Date \|\| Contact \|\| Additional info		! scope=col \| \|\| Plug-in name \|\| Version \|\| Status \|\| MCV* \|\| Release Date \|\| Contact \|\| Additional info
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Statemachines\|Event-B State-machines]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| State-machines contained in Event-B Machines		\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Statemachines\|Event-B State-machines]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| State-machines contained in Event-B Machines
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 2.0.x and ProB 2.4.x		\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 2.0.x and ProB 2.4.x
	\|-		\|-
	\| [[Image:Umlb32.gif\|30px]] \|\| [[UML-B\|UML-B]] \|\| 2.2.1 \|\| <span style="color:green"> available</span> \|\| \|\| 9th Feb. 2011 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Original UML-B modelling environment		\| [[Image:Umlb32.gif\|30px]] \|\| [[UML-B\|UML-B]] \|\| 2.2.1 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 9th Feb. 2011 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Original UML-B modelling environment
	\|-		\|-
	\| [[Image:Umlb32.gif\|30px]] \|\|[[UML-B_-_Statemachine_Animation\|UML-B Statemachine Animation]] \|\| 1.2.0 \|\| <span style="color:green"> available</span> \|\| \|\| 15th Feb. 2011 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with UML-B 2.2.x and ProB 2.4.x		\| [[Image:Umlb32.gif\|30px]] \|\|[[UML-B_-_Statemachine_Animation\|UML-B Statemachine Animation]] \|\| 1.2.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 15th Feb. 2011 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with UML-B 2.2.x and ProB 2.4.x
	\|-		\|-
	\| \|\|[[EMF_framework_for_Event-B\|Event-B EMF framework]] \|\| 4.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.		\| \|\|[[EMF_framework_for_Event-B\|Event-B EMF framework]] \|\| 4.0.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.
	\|-		\|-
	\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for extensions]] \|\| 3.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.		\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for extensions]] \|\| 3.0.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.
	\|-		\|-
	\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for diagrams]] \|\| 4.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.		\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for diagrams]] \|\| 4.0.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.
	\|-		\|-
	\| \|\| [[Isabelle for Rodin]] \|\| \|\| <span style="color:#8B4513"> not checked</span> \|\| 2.x.x \|\| \|\| \|\|		\| \|\| [[Isabelle for Rodin]] \|\| \|\| <span style="color:#8B4513"> not checked</span> \|\| 2.x.x \|\| \|\| \|\|
	\|-		\|-
	\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.4.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Mainly useful for Plug-in developers. Tree-structured editor that handles extensions without modification		\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.4.0 \|\| <span style="color:green"> available</span> \|\| 2.x.x \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Mainly useful for Plug-in developers. Tree-structured editor that handles extensions without modification
	\|-		\|-
	\| \|\|[[Records\|Records]] \|\| 1.0.1 \|\|<span style="color:#8B4513"> not checked</span> \|\| \|\| 16th Oct. 2010 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| No longer actively supported - please email if you wish to use this plugin		\| \|\|[[Records\|Records]] \|\| 1.0.1 \|\|<span style="color:#8B4513"> not checked</span> \|\| \|\| 16th Oct. 2010 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| No longer actively supported - please email if you wish to use this plugin

imported>Colin: /* Rodin Update Site */

2014-05-23T10:05:13Z

Rodin Update Site

← Older revision		Revision as of 10:05, 23 May 2014
Line 35:		Line 35:
	\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Statemachines\|Event-B State-machines]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| State-machines contained in Event-B Machines		\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Statemachines\|Event-B State-machines]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| State-machines contained in Event-B Machines
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 1.2.0 and ProB 2.~~3.2~~.		\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 2.0.x and ProB 2.4.x
	\|-		\|-
	\| [[Image:Umlb32.gif\|30px]] \|\| [[UML-B\|UML-B]] \|\| 2.2.1 \|\| <span style="color:green"> available</span> \|\| \|\| 9th Feb. 2011 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Original UML-B modelling environment		\| [[Image:Umlb32.gif\|30px]] \|\| [[UML-B\|UML-B]] \|\| 2.2.1 \|\| <span style="color:green"> available</span> \|\| \|\| 9th Feb. 2011 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Original UML-B modelling environment
	\|-		\|-
	\| [[Image:Umlb32.gif\|30px]] \|\|[[UML-B_-_Statemachine_Animation\|UML-B Statemachine Animation]] \|\| 1.2.0 \|\| <span style="color:green"> available</span> \|\| \|\| 15th Feb. 2011 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with UML-B 2.2 and ProB 2.1.		\| [[Image:Umlb32.gif\|30px]] \|\|[[UML-B_-_Statemachine_Animation\|UML-B Statemachine Animation]] \|\| 1.2.0 \|\| <span style="color:green"> available</span> \|\| \|\| 15th Feb. 2011 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with UML-B 2.2.x and ProB 2.4.x
	\|-		\|-
	\| \|\|[[EMF_framework_for_Event-B\|Event-B EMF framework]] \|\| 4.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.		\| \|\|[[EMF_framework_for_Event-B\|Event-B EMF framework]] \|\| 4.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.

imported>Colin: /* Rodin Update Site */

2014-05-23T09:59:38Z

Rodin Update Site

← Older revision		Revision as of 09:59, 23 May 2014
Line 33:		Line 33:
	! scope=col \| \|\| Plug-in name \|\| Version \|\| Status \|\| MCV* \|\| Release Date \|\| Contact \|\| Additional info		! scope=col \| \|\| Plug-in name \|\| Version \|\| Status \|\| MCV* \|\| Release Date \|\| Contact \|\| Additional info
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Statemachines\|Event-B State-machines]] \|\| 1.2.0 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span> \|\| \|\| ~~3rd June 2012~~ \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| State-machines contained in Event-B Machines		\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Statemachines\|Event-B State-machines]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| State-machines contained in Event-B Machines
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 1.1.0 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span> \|\| \|\| ~~28th May 2012~~ \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 1.2.0 and ProB 2.3.2.		\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 1.2.0 and ProB 2.3.2.
	\|-		\|-
	\| [[Image:Umlb32.gif\|30px]] \|\| [[UML-B\|UML-B]] \|\| 2.2.0 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span> \|\| \|\| 9th Feb. 2011 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Original UML-B modelling environment		\| [[Image:Umlb32.gif\|30px]] \|\| [[UML-B\|UML-B]] \|\| 2.2.1 \|\| <span style="color:green"> available</span> \|\| \|\| 9th Feb. 2011 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Original UML-B modelling environment
	\|-		\|-
	\| [[Image:Umlb32.gif\|30px]] \|\|[[UML-B_-_Statemachine_Animation\|UML-B Statemachine Animation]] \|\| 1.1.0 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span> \|\| \|\| 15th Feb. 2011 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with UML-B 2.2 and ProB 2.1.		\| [[Image:Umlb32.gif\|30px]] \|\|[[UML-B_-_Statemachine_Animation\|UML-B Statemachine Animation]] \|\| 1.2.0 \|\| <span style="color:green"> available</span> \|\| \|\| 15th Feb. 2011 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with UML-B 2.2 and ProB 2.1.
	\|-		\|-
	\| \|\|[[EMF_framework_for_Event-B\|Event-B EMF framework]] \|\| 3.7.0 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~</span>\|\| \|\| ~~30th~~ April ~~2012~~ \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.		\| \|\|[[EMF_framework_for_Event-B\|Event-B EMF framework]] \|\| 4.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.
	\|-		\|-
	\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for extensions]] \|\| 1.3.0 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~</span>\|\| \|\| ~~3rd June 2012~~ \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.		\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for extensions]] \|\| 3.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.
	\|-		\|-
	\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for diagrams]] \|\| 2.1.0 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~</span>\|\| \|\| ~~3rd June 2012~~ \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.		\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for diagrams]] \|\| 4.0.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.
	\|-		\|-
	\| \|\| [[Isabelle for Rodin]] \|\| \|\| <span style="color:#8B4513"> not checked</span> \|\| 2.x.x \|\| \|\| \|\|		\| \|\| [[Isabelle for Rodin]] \|\| \|\| <span style="color:#8B4513"> not checked</span> \|\| 2.x.x \|\| \|\| \|\|
	\|-		\|-
	\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.3.0 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~</span>\|\| \|\| ~~25th Aug. 2011~~ \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Mainly useful for Plug-in developers. Tree-structured editor that handles extensions without modification		\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.4.0 \|\| <span style="color:green"> available</span> \|\| \|\| 14th April 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Mainly useful for Plug-in developers. Tree-structured editor that handles extensions without modification
	\|-		\|-
	\| \|\|[[Records\|Records]] \|\| 1.0.1 \|\|<span style="color:#8B4513"> not checked</span> \|\| \|\| 16th Oct. 2010 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| No longer actively supported - please email if you wish to use this plugin		\| \|\|[[Records\|Records]] \|\| 1.0.1 \|\|<span style="color:#8B4513"> not checked</span> \|\| \|\| 16th Oct. 2010 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| No longer actively supported - please email if you wish to use this plugin

imported>Asiehsalehi: /* Rodin Update Site */

2014-05-13T10:27:42Z

Rodin Update Site

← Older revision		Revision as of 10:27, 13 May 2014
Line 65:		Line 65:
	\| \|\| Relevance Filter \|\| 1.1.1 \|\| <span style="color:#8B4513"> not checked</span> \|\| 2.x.x \|\| \|\| \|\|		\| \|\| Relevance Filter \|\| 1.1.1 \|\| <span style="color:#8B4513"> not checked</span> \|\| 2.x.x \|\| \|\| \|\|
	\|-		\|-
	\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\|v2.0.0 \|\|<span style="color:green"> available </span>\|\| ~~2.2~~ \|\| 30th April 2014\|\| [mailto:asf08r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.8.		\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\|v2.0.0 \|\|<span style="color:green"> available </span>\|\| \|\| 30th April 2014\|\| [mailto:asf08r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.8.
	\|-.x		\|-.x
	\| \|\| [[Code Generation Activity \| Code Generation]] \|\| 0.2.5 \|\|<span style="color:green"> available</span>\|\| \|\| 29th Aug. 2013\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\| For Java, Ada, and OpenMP C code		\| \|\| [[Code Generation Activity \| Code Generation]] \|\| 0.2.5 \|\|<span style="color:green"> available</span>\|\| \|\| 29th Aug. 2013\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\| For Java, Ada, and OpenMP C code

imported>Asiehsalehi: /* Rodin Update Site */

2014-05-13T10:27:15Z

Rodin Update Site

← Older revision		Revision as of 10:27, 13 May 2014
Line 65:		Line 65:
	\| \|\| Relevance Filter \|\| 1.1.1 \|\| <span style="color:#8B4513"> not checked</span> \|\| 2.x.x \|\| \|\| \|\|		\| \|\| Relevance Filter \|\| 1.1.1 \|\| <span style="color:#8B4513"> not checked</span> \|\| 2.x.x \|\| \|\| \|\|
	\|-		\|-
	\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\|v1.0 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~</span>\|\| 2.2 \|\| ~~8th July 2011~~\|\| [mailto:~~im06r~~@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.~~2 only~~.		\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\|v2.0.0 \|\|<span style="color:green"> available </span>\|\| 2.2 \|\| 30th April 2014\|\| [mailto:asf08r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.8.
	\|-.x		\|-.x
	\| \|\| [[Code Generation Activity \| Code Generation]] \|\| 0.2.5 \|\|<span style="color:green"> available</span>\|\| \|\| 29th Aug. 2013\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\| For Java, Ada, and OpenMP C code		\| \|\| [[Code Generation Activity \| Code Generation]] \|\| 0.2.5 \|\|<span style="color:green"> available</span>\|\| \|\| 29th Aug. 2013\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\| For Java, Ada, and OpenMP C code