Rodin Platform 3.0.0 External Plug-ins - Revision history

imported>Neoser: /* Other Update Sites */

2015-05-28T07:56:07Z

Other Update Sites

← Older revision		Revision as of 07:56, 28 May 2015
Line 118:		Line 118:
	\|		\|
	\|-		\|-
	\| [[Image:EHDL_Ver2.png\|center\|28px]] \|\|[[VHDL code generator]]\|\| 2.0.2 \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.x.x \|\| 12th March 2012 \|\| [mailto:Sergey.Ostroumov@abo.fi Sergey Ostroumov] \|\| Update site: <tt>http://www.~~eventb-to-vhdl~~.tk/</tt>		\| [[Image:EHDL_Ver2.png\|center\|28px]] \|\|[[VHDL code generator]]\|\| 2.0.2 \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.x.x \|\| 12th March 2012 \|\| [mailto:Sergey.Ostroumov@abo.fi Sergey Ostroumov] \|\| Update site: <tt>http://www.eb2vhdl.tk/</tt>
	\|}		\|}
	<nowiki>*MCV stands for the Rodin's Maximum Compatible Version</nowiki>		<nowiki>*MCV stands for the Rodin's Maximum Compatible Version</nowiki>

imported>Asiehsalehi: /* Rodin Update Site */

2015-01-27T13:53:14Z

Rodin Update Site

← Older revision		Revision as of 13:53, 27 January 2015
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]] \|\| 2.0.2 \|\|<span style="color:#8B4513"> not checked</span>\|\| \|\| 10th July 2014\|\| [mailto:asf08r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.8 only.
	\|-.x		\|-.x
	\| \|\| [[Code Generation Activity \| Code Generation]] \|\| 0.2.5 \|\|<span style="color:#8B4513"> not checked</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:#8B4513"> not checked</span>\|\| \|\| 29th Aug. 2013\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\| For Java, Ada, and OpenMP C code

imported>Andy: /* Rodin Update Site */

2014-11-25T15:41:01Z

Rodin Update Site

← Older revision		Revision as of 15:41, 25 November 2014
Line 55:		Line 55:
	\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.1.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| 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.1.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| 15th Oct. 2010 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| No longer actively supported - please email if you wish to use this plugin
	\|-		\|-
	\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.7.0 \|\| <span style="color:green"> available</span> \|\| \|\| 25th Nov. 2014 \|\| [mailto:~~asf08rr~~@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.0.x		\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.7.0 \|\| <span style="color:green"> available</span> \|\| \|\| 25th Nov. 2014 \|\| [mailto:ae2@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.0.x
	\|-		\|-
	\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.3.0 \|\| <span style="color:green"> available</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:green"> available</span>\|\| 3.x.x \|\| 6th May 2014 \|\| [mailto:asf08r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.0.x.

imported>Andy: /* Rodin Update Site */

2014-11-25T15:38:44Z

Rodin Update Site

← Older revision		Revision as of 15:38, 25 November 2014
Line 55:		Line 55:
	\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| 1.1.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| 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.1.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| 15th Oct. 2010 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| No longer actively supported - please email if you wish to use this plugin
	\|-		\|-
	\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.6.1 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span> \|\| \|\| ~~04th July 2013~~ \|\| [mailto:asf08rr@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.8.		\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.7.0 \|\| <span style="color:green"> available</span> \|\| \|\| 25th Nov. 2014 \|\| [mailto:asf08rr@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.0.x
	\|-		\|-
	\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.3.0 \|\| <span style="color:green"> available</span>\|\| 3.x.x \|\| 6th May 2014 \|\| [mailto:asf08r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.0.		\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.3.0 \|\| <span style="color:green"> available</span>\|\| 3.x.x \|\| 6th May 2014 \|\| [mailto:asf08r@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.0.x.
	\|-		\|-
	\| [[Image:DecompositionPlug-in_logo.png\|30px]] \|\| [[Decomposition Plug-in User Guide \| Decomposition]] \|\| 1.2.6 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span>\|\| \|\| ~~11th Dec 2012~~ \|\| [mailto:~~asf08r~~@ecs.soton.ac.uk email] \|\| Compatible with Rodin 2.8.		\| [[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:ae2@ecs.soton.ac.uk email] \|\| Compatible with Rodin 3.0.x.
	\|-		\|-
	\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| 15th Nov. 2010 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Machine - Context relationship diagram		\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| 15th Nov. 2010 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Machine - Context relationship diagram

imported>Colin: /* Rodin Update Site */

2014-10-18T08:53:52Z

Rodin Update Site

← Older revision		Revision as of 08:53, 18 October 2014
Line 37:		Line 37:
	\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.1.1 \|\| <span style="color:green"> available</span> \|\| \|\| 27th May 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 2.x.x and ProB 3.0.x.		\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.1.1 \|\| <span style="color:green"> available</span> \|\| \|\| 27th May 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 2.x.x and ProB 3.0.x.
	\|-		\|-
	\| [[Image:Umlb32.gif\|30px]] \|\| [[UML-B\|UML-B]] \|\| 2.3.0 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span> \|\| \|\| 18th Oct. 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Original UML-B modelling environment		\| [[Image:Umlb32.gif\|30px]] \|\| [[UML-B\|UML-B]] \|\| 2.3.0 \|\| <span style="color:green"> available</span> \|\| \|\| 18th Oct. 2014 \|\| [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.3.0 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~</span> \|\| \|\| 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> \|\| \|\| 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]] \|\| 4.1.0 \|\|<span style="color:green"> available</span>\|\| \|\| 27th May 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.1.0 \|\|<span style="color:green"> available</span>\|\| \|\| 27th May 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-10-18T08:53:15Z

Rodin Update Site

← Older revision		Revision as of 08:53, 18 October 2014
Line 37:		Line 37:
	\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.1.1 \|\| <span style="color:green"> available</span> \|\| \|\| 27th May 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 2.x.x and ProB 3.0.x.		\| [[Image:IUMLB_big.png\|30px]] \|\|[[Event-B_Statemachines\|Event-B State-machine Animation]] \|\| 2.1.1 \|\| <span style="color:green"> available</span> \|\| \|\| 27th May 2014 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 2.x.x and ProB 3.0.x.
	\|-		\|-
	\| [[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.3.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| 18th Oct. 2014 \|\| [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.3.0 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| 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]] \|\| 4.1.0 \|\|<span style="color:green"> available</span>\|\| \|\| 27th May 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.1.0 \|\|<span style="color:green"> available</span>\|\| \|\| 27th May 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>Ladenberger: /* Other Update Sites */

2014-10-02T07:37:54Z

Other Update Sites

← Older revision		Revision as of 07:37, 2 October 2014
Line 97:		Line 97:
	\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| \|\| \|\| [mailto:christope.metayer@animb.org Christophe Métayer] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>		\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| \|\| \|\| [mailto:christope.metayer@animb.org Christophe Métayer] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>
	\|-		\|-
	\| \|\|[[Camille_Editor\|Camille]] \|\| 3.0.x \|\| <span style="color:green">available</span> \|\| 2.5.x \|\| \|\| [mailto:~~michael~~@~~jastram~~.de ~~Michael Jastram~~] \|\| Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/camille_updates</tt><br><span style="color:#8B4513">Make sure to install the Event-B EMF Framework version 3.7.0 or greater.</span>		\| \|\|[[Camille_Editor\|Camille]] \|\| 3.0.x \|\| <span style="color:green">available</span> \|\| 3.0.x \|\| \|\| [mailto:krings@cs.uni-duesseldorf.de Sebastian Krings] \|\| Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/camille_updates</tt><br><span style="color:#8B4513">Make sure to install the Event-B EMF Framework version 3.7.0 or greater.</span>
	\|-		\|-
	\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>		\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>
Line 109:		Line 109:
	\| [[Image:Prob_eventb_wiki_logo.png\|30px]]\|\|[http://www.stups.uni-duesseldorf.de/ProB ProB] \|\| 3.0.x\|\| <span style="color:green">available</span> \|\| 3.0.x \|\| 18th March 2014 \|\| [mailto:jens@bendisposto.de Jens Bendisposto] \|\| Use the ProB update site. <tt>http://www.stups.uni-duesseldorf.de/prob_updates_rodin3</tt><br>The Plug-in includes [http://www.stups.uni-duesseldorf.de/BMotionStudio BMotion Studio]<br>For older Rodin versions use <tt>http://www.stups.uni-duesseldorf.de/prob_updates</tt>		\| [[Image:Prob_eventb_wiki_logo.png\|30px]]\|\|[http://www.stups.uni-duesseldorf.de/ProB ProB] \|\| 3.0.x\|\| <span style="color:green">available</span> \|\| 3.0.x \|\| 18th March 2014 \|\| [mailto:jens@bendisposto.de Jens Bendisposto] \|\| Use the ProB update site. <tt>http://www.stups.uni-duesseldorf.de/prob_updates_rodin3</tt><br>The Plug-in includes [http://www.stups.uni-duesseldorf.de/BMotionStudio BMotion Studio]<br>For older Rodin versions use <tt>http://www.stups.uni-duesseldorf.de/prob_updates</tt>
	\|-		\|-
	\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| \|\| <span style="color:green">available</span> \|\| 2.6.x \|\| \|\| [mailto:ladenberger@cs.uni-duesseldorf.de Lukas Ladenberger] \|\| Update site: <tt>http://update.formalmind.com/rodin</tt><br>Project web site: <tt>http://eclipse.org/rmf</tt>		\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| \|\| <span style="color:green">available</span> \|\| 3.0.x \|\| \|\| [mailto:ladenberger@cs.uni-duesseldorf.de Lukas Ladenberger] \|\| Update site: <tt>http://update.formalmind.com/rodin</tt><br>Project web site: <tt>http://eclipse.org/rmf</tt>
	\|-		\|-
	\| [[Image:MBT_for_Event-B_Logo_Medium.png]] \|\|[[MBT_plugin\|MBT plugin]] \|\| 2.0 \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.7.x \|\| 5th of March 2012 \|\| [mailto:alin.stefanescu@upit.ro Alin Stefanescu] \|\| Use the update site <tt>http://fmi.upit.ro/mbt_plugin</tt>		\| [[Image:MBT_for_Event-B_Logo_Medium.png]] \|\|[[MBT_plugin\|MBT plugin]] \|\| 2.0 \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.7.x \|\| 5th of March 2012 \|\| [mailto:alin.stefanescu@upit.ro Alin Stefanescu] \|\| Use the update site <tt>http://fmi.upit.ro/mbt_plugin</tt>

imported>Ladenberger: /* Other Update Sites */

2014-10-02T07:24:45Z

Other Update Sites

← Older revision		Revision as of 07:24, 2 October 2014
Line 97:		Line 97:
	\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| \|\| \|\| [mailto:christope.metayer@animb.org Christophe Métayer] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>		\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| \|\| \|\| [mailto:christope.metayer@animb.org Christophe Métayer] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>
	\|-		\|-
	\| \|\|[[Camille_Editor\|Camille]] \|\| 3.0.3 \|\| <span style="color:green">available</span> \|\| 2.5.x \|\| \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/camille_updates</tt><br><span style="color:#8B4513">Make sure to install the Event-B EMF Framework version 3.7.0 or greater.</span>		\| \|\|[[Camille_Editor\|Camille]] \|\| 3.0.x \|\| <span style="color:green">available</span> \|\| 2.5.x \|\| \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/camille_updates</tt><br><span style="color:#8B4513">Make sure to install the Event-B EMF Framework version 3.7.0 or greater.</span>
	\|-		\|-
	\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>		\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>

imported>Ladenberger: /* Other Update Sites */

2014-10-02T07:24:28Z

Other Update Sites

← Older revision		Revision as of 07:24, 2 October 2014
Line 97:		Line 97:
	\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| \|\| \|\| [mailto:christope.metayer@animb.org Christophe Métayer] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>		\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| \|\| \|\| [mailto:christope.metayer@animb.org Christophe Métayer] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>
	\|-		\|-
	\| \|\|[[Camille_Editor\|Camille]] \|\| 3.0.3 \|\| <span style="color:green">available</span> \|\| 2.5.x \|\| ~~27th July 2011~~ \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/camille_updates</tt><br><span style="color:#8B4513">Make sure to install the Event-B EMF Framework version 3.7.0 or greater.</span>		\| \|\|[[Camille_Editor\|Camille]] \|\| 3.0.3 \|\| <span style="color:green">available</span> \|\| 2.5.x \|\| \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/camille_updates</tt><br><span style="color:#8B4513">Make sure to install the Event-B EMF Framework version 3.7.0 or greater.</span>
	\|-		\|-
	\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>		\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>
Line 107:		Line 107:
	\| \|\|[[Flows\|Flows/Use case extension]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://iliasov.org/usecase</tt>		\| \|\|[[Flows\|Flows/Use case extension]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://iliasov.org/usecase</tt>
	\|-		\|-
	\| [[Image:Prob_eventb_wiki_logo.png\|30px]]\|\|[http://www.stups.uni-duesseldorf.de/ProB ProB] \|\| 3.0.1\|\| <span style="color:green">available</span> \|\| 3.0.x \|\| 18th March 2014 \|\| [mailto:jens@bendisposto.de Jens Bendisposto] \|\| Use the ProB update site. <tt>http://www.stups.uni-duesseldorf.de/prob_updates_rodin3</tt><br>The Plug-in includes [http://www.stups.uni-duesseldorf.de/BMotionStudio BMotion Studio]<br>For older Rodin versions use <tt>http://www.stups.uni-duesseldorf.de/prob_updates</tt>		\| [[Image:Prob_eventb_wiki_logo.png\|30px]]\|\|[http://www.stups.uni-duesseldorf.de/ProB ProB] \|\| 3.0.x\|\| <span style="color:green">available</span> \|\| 3.0.x \|\| 18th March 2014 \|\| [mailto:jens@bendisposto.de Jens Bendisposto] \|\| Use the ProB update site. <tt>http://www.stups.uni-duesseldorf.de/prob_updates_rodin3</tt><br>The Plug-in includes [http://www.stups.uni-duesseldorf.de/BMotionStudio BMotion Studio]<br>For older Rodin versions use <tt>http://www.stups.uni-duesseldorf.de/prob_updates</tt>
	\|-		\|-
	\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| ~~0.3.2~~ \|\| <span style="color:green">available</span> \|\| 2.6.x \|\| ~~08/01/2012~~ \|\| [mailto:ladenberger@cs.uni-duesseldorf.de Lukas Ladenberger] \|\| Update site: <tt>http://update.formalmind.com/rodin</tt><br>Project web site: <tt>http://eclipse.org/rmf</tt>		\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| \|\| <span style="color:green">available</span> \|\| 2.6.x \|\| \|\| [mailto:ladenberger@cs.uni-duesseldorf.de Lukas Ladenberger] \|\| Update site: <tt>http://update.formalmind.com/rodin</tt><br>Project web site: <tt>http://eclipse.org/rmf</tt>
	\|-		\|-
	\| [[Image:MBT_for_Event-B_Logo_Medium.png]] \|\|[[MBT_plugin\|MBT plugin]] \|\| 2.0 \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.7.x \|\| 5th of March 2012 \|\| [mailto:alin.stefanescu@upit.ro Alin Stefanescu] \|\| Use the update site <tt>http://fmi.upit.ro/mbt_plugin</tt>		\| [[Image:MBT_for_Event-B_Logo_Medium.png]] \|\|[[MBT_plugin\|MBT plugin]] \|\| 2.0 \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.7.x \|\| 5th of March 2012 \|\| [mailto:alin.stefanescu@upit.ro Alin Stefanescu] \|\| Use the update site <tt>http://fmi.upit.ro/mbt_plugin</tt>

imported>Ladenberger: /* Other Update Sites */

2014-10-02T07:22:14Z

Other Update Sites

← Older revision		Revision as of 07:22, 2 October 2014
Line 97:		Line 97:
	\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| \|\| \|\| [mailto:christope.metayer@animb.org Christophe Métayer] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>		\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| \|\| \|\| [mailto:christope.metayer@animb.org Christophe Métayer] \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>
	\|-		\|-
	\| \|\|[[Camille_Editor\|Camille]] \|\| 2.1.5 \|\| <span style="color:green">available</span> \|\| 2.5.x \|\| 27th July 2011 \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/camille_updates</tt><br><span style="color:#8B4513">Make sure to install the Event-B EMF Framework version 3.7.0 or greater.</span>		\| \|\|[[Camille_Editor\|Camille]] \|\| 3.0.3 \|\| <span style="color:green">available</span> \|\| 2.5.x \|\| 27th July 2011 \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/camille_updates</tt><br><span style="color:#8B4513">Make sure to install the Event-B EMF Framework version 3.7.0 or greater.</span>
	\|-		\|-
	\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>		\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| \|\| <span style="color:#8B4513"> not checked</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>