Rodin Platform 3.2.0 External Plug-ins - Revision history

imported>Colin: /* Rodin Update Site */

2017-07-06T14:38:12Z

Rodin Update Site

← Older revision		Revision as of 14:38, 6 July 2017
Line 55:		Line 55:
	\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.2.0 \|\| <span style="color:green"> available </span> \|\| 3.2.x \|\| 5th Sept. 2016 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provides a synchronised copy of Machines and Contexts for committing into a repository. It is recommended to also install the Rose editor, EMF compare 3.1.0 and a recent repository client (e.g. Egit 4.1.4).		\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.2.0 \|\| <span style="color:green"> available </span> \|\| 3.2.x \|\| 5th Sept. 2016 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provides a synchronised copy of Machines and Contexts for committing into a repository. It is recommended to also install the Rose editor, EMF compare 3.1.0 and a recent repository client (e.g. Egit 4.1.4).
	\|-		\|-
	\| [[Image:Cmp_mch_obj.gif\|20px]] \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.7.0 \|\| <span style="color:green"> available </span> \|\| \|\| ~~25th Nov. 2014~~ \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.x.x (checked by cfs 11/10/15)		\| [[Image:Cmp_mch_obj.gif\|20px]] \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.7.1 \|\| <span style="color:green"> available </span> \|\| \|\| 5th July 2017 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.x.x (checked by cfs 5/05/17)
	\|-		\|-
	\| [[Image:DecompositionPlug-in_logo.png\|30px]] \|\| [[Decomposition Plug-in User Guide \| Decomposition]] \|\| 1.3.0 \|\| <span style="color:green"> available </span>\|\| \|\| ~~25th Nov. 2014~~ \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.x.x (checked by cfs 11/10/15)		\| [[Image:DecompositionPlug-in_logo.png\|30px]] \|\| [[Decomposition Plug-in User Guide \| Decomposition]] \|\| 1.3.1 \|\| <span style="color:green"> available </span>\|\| \|\| 4th July 2017 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.x.x (checked by cfs 4/05/17)
	\|-		\|-
	\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.3.0 \|\| <span style="color:#8B4513"> not checked</span>\|\| 3.x.x \|\| 6th May 2014 \|\| [mailto:asf08r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.0.x.		\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.3.0 \|\| <span style="color:#8B4513"> not checked</span>\|\| 3.x.x \|\| 6th May 2014 \|\| [mailto:asf08r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.0.x.

imported>Colin: /* Rodin Update Site */

2016-09-06T06:35:43Z

Rodin Update Site

← Older revision		Revision as of 06:35, 6 September 2016
Line 53:		Line 53:
	\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.6.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 22nd Dec 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Mainly useful for Plug-in developers. Tree-structured editor for Event-B EMF that handles extensions without modification		\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.6.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 22nd Dec 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Mainly useful for Plug-in developers. Tree-structured editor for Event-B EMF that handles extensions without modification
	\|-		\|-
	\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.2.0 \|\| <span style="color:green"> available </span> \|\| 3.2.x \|\| 5th Sept. 2016 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| ~~To use~~ also install Rose editor, EMF compare 3.1.0 and recent repository client (e.g. Egit 4.1.4)		\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.2.0 \|\| <span style="color:green"> available </span> \|\| 3.2.x \|\| 5th Sept. 2016 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Provides a synchronised copy of Machines and Contexts for committing into a repository. It is recommended to also install the Rose editor, EMF compare 3.1.0 and a recent repository client (e.g. Egit 4.1.4).
	\|-		\|-
	\| [[Image:Cmp_mch_obj.gif\|20px]] \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.7.0 \|\| <span style="color:green"> available </span> \|\| \|\| 25th Nov. 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.x.x (checked by cfs 11/10/15)		\| [[Image:Cmp_mch_obj.gif\|20px]] \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.7.0 \|\| <span style="color:green"> available </span> \|\| \|\| 25th Nov. 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.x.x (checked by cfs 11/10/15)

imported>Colin: /* Rodin Update Site */

2016-09-05T22:44:43Z

Rodin Update Site

← Older revision		Revision as of 22:44, 5 September 2016
Line 52:		Line 52:
	\|-		\|-
	\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.6.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 22nd Dec 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Mainly useful for Plug-in developers. Tree-structured editor for Event-B EMF that handles extensions without modification		\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.6.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 22nd Dec 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Mainly useful for Plug-in developers. Tree-structured editor for Event-B EMF that handles extensions without modification
			\|-
			\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.2.0 \|\| <span style="color:green"> available </span> \|\| 3.2.x \|\| 5th Sept. 2016 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| To use also install Rose editor, EMF compare 3.1.0 and recent repository client (e.g. Egit 4.1.4)
	\|-		\|-
	\| [[Image:Cmp_mch_obj.gif\|20px]] \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.7.0 \|\| <span style="color:green"> available </span> \|\| \|\| 25th Nov. 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.x.x (checked by cfs 11/10/15)		\| [[Image:Cmp_mch_obj.gif\|20px]] \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.7.0 \|\| <span style="color:green"> available </span> \|\| \|\| 25th Nov. 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.x.x (checked by cfs 11/10/15)
Line 79:		Line 81:
	\|-		\|-
	\| \|\|[[Records\|Records]] \|\| 1.0.1 \|\|<span style="color:#8B4513"> not available for Rodin 3.x.x </span> \|\| 2.x.x \|\| 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 available for Rodin 3.x.x </span> \|\| 2.x.x \|\| 16th Oct. 2010 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| No longer actively supported - please email if you wish to use this plugin
	\|-
	\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.2.0 \|\| <span style="color:green"> available </span> \|\| 3.2.x \|\| 5th Sept. 2016 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| To use also install Rose editor, EMF compare 3.1.0 and recent repository client (e.g. Egit 4.1.4)
	\|}		\|}

imported>Colin: /* Rodin Update Site */

2016-09-05T22:42:10Z

Rodin Update Site

← Older revision		Revision as of 22:42, 5 September 2016
Line 80:		Line 80:
	\| \|\|[[Records\|Records]] \|\| 1.0.1 \|\|<span style="color:#8B4513"> not available for Rodin 3.x.x </span> \|\| 2.x.x \|\| 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 available for Rodin 3.x.x </span> \|\| 2.x.x \|\| 16th Oct. 2010 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| No longer actively supported - please email if you wish to use this plugin
	\|-		\|-
	\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.1.0 \|\| <span style="color:~~#8B4513~~"> ~~not~~ available ~~for Rodin 3.x.x~~ </span> \|\| 2.x.x \|\| ~~15th Oct~~. ~~2010~~ \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| ~~No longer actively supported - please email if you wish to~~ use ~~this plugin~~		\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.2.0 \|\| <span style="color:green"> available </span> \|\| 3.2.x \|\| 5th Sept. 2016 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| To use also install Rose editor, EMF compare 3.1.0 and recent repository client (e.g. Egit 4.1.4)
	\|}		\|}

imported>Nicolas: /* Rodin Update Site */ SMT 1.3

2016-01-15T15:35:23Z

Rodin Update Site: SMT 1.3

← Older revision		Revision as of 15:35, 15 January 2016
Line 68:		Line 68:
	\| \|\| [[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 \|\| \|\| \|\|
	\|-		\|-
	\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 1.2.1 \|\| <span style="color:green"> available </span> \|\| \|\| ~~14th~~ March ~~2014~~\|\| [mailto:laurent.voisin@systerel.fr Laurent Voisin] \|\|		\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 1.3.0 \|\| <span style="color:green"> available </span> \|\| \|\| 15th March 2016\|\| [mailto:laurent.voisin@systerel.fr Laurent Voisin] \|\|
	\|-		\|-
	\| \|\| [[Pattern \| Pattern]] \|\| 0.9.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| 3.x.x \|\| 13th March 2015 \|\| [mailto:tshoang@users.sourceforge.net Thai Son Hoang] \|\|		\| \|\| [[Pattern \| Pattern]] \|\| 0.9.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| 3.x.x \|\| 13th March 2015 \|\| [mailto:tshoang@users.sourceforge.net Thai Son Hoang] \|\|

imported>Son: /* Rodin Update Site */

2015-12-31T17:32:16Z

Rodin Update Site

← Older revision		Revision as of 17:32, 31 December 2015
Line 35:		Line 35:
	\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Classdiagrams\|Event-B Class Diagrams]] \|\| 1.2.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 18 Dec 2015 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Class diagrams contained in Event-B Machines.		\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Classdiagrams\|Event-B Class Diagrams]] \|\| 1.2.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 18 Dec 2015 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Class diagrams contained in Event-B Machines.
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Statemachines\|Event-B State-machines]] \|\| 3.1.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| ~~22nd~~ Dec ~~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]] \|\| 3.4.1 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 31st Dec 2015 \|\| [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.1.2 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 19th Dec 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 3.x.x and ProB 3.0.x.		\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.1.2 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 19th Dec 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 3.x.x and ProB 3.0.x.

imported>Son: /* Rodin Update Site */

2015-12-18T00:43:15Z

Rodin Update Site

← Older revision		Revision as of 00:43, 18 December 2015
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_Classdiagrams\|Event-B Class Diagrams]] \|\| 1.0.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| ~~29th Jan~~ 2015 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Class diagrams contained in Event-B Machines.		\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Classdiagrams\|Event-B Class Diagrams]] \|\| 1.2.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 18 Dec 2015 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Class diagrams contained in Event-B Machines.
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Statemachines\|Event-B State-machines]] \|\| 3.1.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 22nd Dec 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]] \|\| 3.1.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 22nd Dec 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| State-machines contained in Event-B Machines.

imported>Son: /* Rodin Update Site */

2015-12-17T21:18:52Z

Rodin Update Site

← Older revision		Revision as of 21:18, 17 December 2015
Line 49:		Line 49:
	\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for extensions]] \|\| 5.2.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 17th Dec 2015 \|\| [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]] \|\| 5.2.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 17th Dec 2015 \|\| [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]] \|\| 5.1.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| ~~22nd~~ Dec ~~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]] \|\| 6.0.0 \|\|<span style="color:green"> available </span> \|\| 3.2.x \|\| 17th Dec 2015 \|\| [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.
	\|-		\|-
	\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.6.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 22nd Dec 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Mainly useful for Plug-in developers. Tree-structured editor for Event-B EMF that handles extensions without modification		\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.6.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 22nd Dec 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Mainly useful for Plug-in developers. Tree-structured editor for Event-B EMF that handles extensions without modification

imported>Son: /* Rodin Update Site */

2015-12-17T12:18:36Z

Rodin Update Site

← Older revision		Revision as of 12:18, 17 December 2015
Line 47:		Line 47:
	\| \|\|[[EMF_framework_for_Event-B\|Event-B EMF framework]] \|\| 5.4.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 17th Dec 2015 \|\| [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]] \|\| 5.4.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 17th Dec 2015 \|\| [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]] \|\| 4.0.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| ~~19th~~ Dec ~~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]] \|\| 5.2.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 17th Dec 2015 \|\| [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]] \|\| 5.1.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 22nd Dec 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]] \|\| 5.1.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 22nd Dec 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>Son: /* Rodin Update Site */

2015-12-17T11:59:41Z

Rodin Update Site

← Older revision		Revision as of 11:59, 17 December 2015
Line 45:		Line 45:
	\| [[Image:Umlb32.gif\|30px]] \|\|[[UML-B_-_Statemachine_Animation\|UML-B Statemachine Animation]] \|\| 1.3.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 18th Oct. 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with UML-B 2.3 and ProB 3.0		\| [[Image:Umlb32.gif\|30px]] \|\|[[UML-B_-_Statemachine_Animation\|UML-B Statemachine Animation]] \|\| 1.3.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 18th Oct. 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with UML-B 2.3 and ProB 3.0
	\|-		\|-
	\| \|\|[[EMF_framework_for_Event-B\|Event-B EMF framework]] \|\| 5.0.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| ~~19th~~ Dec ~~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]] \|\| 5.4.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 17th Dec 2015 \|\| [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]] \|\| 4.0.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 19th Dec 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]] \|\| 4.0.0 \|\|<span style="color:green"> available </span> \|\| 3.x.x \|\| 19th Dec 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.