Rodin Platform 2.1 External Plug-ins - Revision history

imported>Jastram: /* Other Updates Sites */

2012-01-24T16:17:24Z

Other Updates Sites

← Older revision		Revision as of 16:17, 24 January 2012
Line 62:		Line 62:
	\| [[Image:Prob_eventb_wiki_logo.png\|30px]]\|\|[http://www.stups.uni-duesseldorf.de/ProB ProB] \|\| \|\| <span style="color:#006400">available</span>\|\| \|\| 8th Feb. 2011 \|\| \|\| Use the ProB update site. <tt>http://www.stups.uni-duesseldorf.de/prob_updates</tt><br>The Plug-in includes [http://www.stups.uni-duesseldorf.de/BMotionStudio BMotion Studio]		\| [[Image:Prob_eventb_wiki_logo.png\|30px]]\|\|[http://www.stups.uni-duesseldorf.de/ProB ProB] \|\| \|\| <span style="color:#006400">available</span>\|\| \|\| 8th Feb. 2011 \|\| \|\| Use the ProB update site. <tt>http://www.stups.uni-duesseldorf.de/prob_updates</tt><br>The Plug-in includes [http://www.stups.uni-duesseldorf.de/BMotionStudio BMotion Studio]
	\|-		\|-
	\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| \|\|<span style="color:#006400">available</span> \|\| \|\| ~~7th~~ Jan. ~~2011~~ \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Update site: http://update.pror.org<br>Project web site: http://pror.org		\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| \|\|<span style="color:#006400">available</span> \|\| \|\| 20th Jan. 2012 \|\| [mailto:michael@jastram.de Michael Jastram] \|\| ProR support working with requirements. For traceability to Event-B, the Rodin Integration is required.<br> Update site: http://update.pror.org<br>Project web site: http://eclipse.org/rmf
			\|-
			\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org Rodin Integration for ProR] \|\| \|\|<span style="color:#8B4513"> not available</span> \|\| \|\| 28th Feb. 2012 \|\| [mailto:michael@jastram.de Michael Jastram] \|\| We are currently working on a revised ProR-Rodin-Integration.
	\|}		\|}
	<nowiki>*MCV stands for the Rodin's Maximum Compatible Version</nowiki>		<nowiki>*MCV stands for the Rodin's Maximum Compatible Version</nowiki>

imported>Andy: /* Rodin Update Site */

2011-06-01T10:02:52Z

Rodin Update Site

← Older revision		Revision as of 10:02, 1 June 2011
Line 33:		Line 33:
	\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\|v0.6 \|\|<span style="color:#006400"> available</span>\|\| \|\| 4th Jan. 2011\|\| [mailto:im06r@ecs.soton.ac.uk email] \|\|		\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\|v0.6 \|\|<span style="color:#006400"> available</span>\|\| \|\| 4th Jan. 2011\|\| [mailto:im06r@ecs.soton.ac.uk email] \|\|
	\|-		\|-
			\| \|\| [[Code Generation Activity \| Code Generation Feature]] \|\| 0.1.5 \|\|<span style="color:#006400"> available</span>\|\| \|\| 17th May 2011\|\| [mailto:ae2@ecs.soton.ac.uk email] \|\|

	\|}		\|}

imported>Alexili at 13:00, 30 May 2011

2011-05-30T13:00:01Z

← Older revision		Revision as of 13:00, 30 May 2011
Line 52:		Line 52:
	\| \|\|[[Camille_Editor\|Camille]] \|\| \|\|<span style="color:#006400">available</span>\|\| \|\| \|\| \|\| Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/camille_updates</tt>		\| \|\|[[Camille_Editor\|Camille]] \|\| \|\|<span style="color:#006400">available</span>\|\| \|\| \|\| \|\| Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/camille_updates</tt>
	\|-		\|-
	\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>		\| [[Image:Mlogo_big.png\|30px]] \|\| [[Modularisation_Plug-in\|Modularisation]] \|\| \|\| <span style="color:#006400">available</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://www.iliasov.org/modplugin</tt>
	\|-		\|-
	\| \|\|[[Group_refinement_plugin\|Group refinement]] \|\| \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\| Use the update site <tt>http://iliasov.org/refplugin</tt>		\| \|\|[[Group_refinement_plugin\|Group refinement]] \|\| \|\| <span style="color:#006400">available</span>\|\| 2.x.x \|\| \|\| [mailto:alexei.iliasov@ncl.ac.uk email] \|\| Use the update site <tt>http://iliasov.org/refplugin</tt>
	\|-		\|-
	\| \|\|[[Flows\|Flows/Use case extension]] \|\| \|\| <span style="color:#006400">available</span>\|\| \|\| \|\| \|\| Use the update site <tt>http://iliasov.org/usecase</tt>		\| \|\|[[Flows\|Flows/Use case extension]] \|\| \|\| <span style="color:#006400">available</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] \|\| \|\| <span style="color:#006400">available</span>\|\| \|\| 8th Feb. 2011 \|\| \|\| Use the ProB update site. <tt>http://www.stups.uni-duesseldorf.de/prob_updates</tt><br>The Plug-in includes [http://www.stups.uni-duesseldorf.de/BMotionStudio BMotion Studio]		\| [[Image:Prob_eventb_wiki_logo.png\|30px]]\|\|[http://www.stups.uni-duesseldorf.de/ProB ProB] \|\| \|\| <span style="color:#006400">available</span>\|\| \|\| 8th Feb. 2011 \|\| \|\| Use the ProB update site. <tt>http://www.stups.uni-duesseldorf.de/prob_updates</tt><br>The Plug-in includes [http://www.stups.uni-duesseldorf.de/BMotionStudio BMotion Studio]

imported>Wohuai at 10:16, 30 May 2011

2011-05-30T10:16:53Z

← Older revision		Revision as of 10:16, 30 May 2011
Line 12:		Line 12:
	\|-		\|-
	\| \|\|[[EMF_framework_for_Event-B\|Event-B EMF framework]] \|\| 3.2.1 \|\|<span style="color:#006400"> available</span>\|\| \|\| \|\| \|\| 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]] \|\| 3.2.1 \|\|<span style="color:#006400"> available</span>\|\| \|\| \|\| \|\| Users should not need to install this framework. It will be installed automatically by other plug-ins as required.
			\|-
			\| \|\| [[Export to Isabelle]] \|\| \|\| <span style="color:#006400"> available</span> \|\| 2.x.x \|\| \|\| [mailto:mschmalz@inf.ethz.ch email] \|\|
	\|-		\|-
	\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.1.0 \|\|<span style="color:#006400"> available</span>\|\| \|\| \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\|		\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.1.0 \|\|<span style="color:#006400"> available</span>\|\| \|\| \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\|
Line 27:		Line 29:
	\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.0 \|\| <span style="color:#006400"> available</span> \|\| \|\| \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\|		\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.0 \|\| <span style="color:#006400"> available</span> \|\| \|\| \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\|
	\|-		\|-
	\| \|\| Relevance Filter \|\| \|\|<span style="color:#~~8B4513~~"> ~~not~~ available</span>\|\| \|\| \|\| [mailto:mschmalz@inf.ethz.ch email] \|\|		\| \|\| Relevance Filter \|\| 1.0.0 \|\| <span style="color:#006400"> available</span> \|\| 2.x.x \|\| \|\| [mailto:mschmalz@inf.ethz.ch email] \|\|
	\|-		\|-
	\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\|v0.6 \|\|<span style="color:#006400"> available</span>\|\| \|\| 4th Jan. 2011\|\| [mailto:im06r@ecs.soton.ac.uk email] \|\|		\| \|\| [[Theory Plug-in\| Theory Plug-in]] \|\|v0.6 \|\|<span style="color:#006400"> available</span>\|\| \|\| 4th Jan. 2011\|\| [mailto:im06r@ecs.soton.ac.uk email] \|\|

imported>Renato: /* Rodin Update Site */

2011-03-09T15:56:41Z

Rodin Update Site

← Older revision		Revision as of 15:56, 9 March 2011
Line 19:		Line 19:
	\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| \|\| <span style="color:#8B4513"> not available</span> \|\| \|\| \|\| \|\|		\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| \|\| <span style="color:#8B4513"> not available</span> \|\| \|\| \|\| \|\|
	\|-		\|-
	\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.3.1 \|\| <span style="color:#006400"> available</span>\|\| \|\| ~~11th Feb~~. 2011 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|		\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.3.1 \|\| <span style="color:#006400"> available</span>\|\| \|\| 9th Mar. 2011 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|
	\|-		\|-
	\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.1.0 \|\| <span style="color:#006400"> available</span>\|\| \|\| 11th Feb. 2011 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|		\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.1.0 \|\| <span style="color:#006400"> available</span>\|\| \|\| 11th Feb. 2011 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|

imported>Renato: /* Rodin Update Site */

2011-03-09T15:56:21Z

Rodin Update Site

← Older revision		Revision as of 15:56, 9 March 2011
Line 19:		Line 19:
	\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| \|\| <span style="color:#8B4513"> not available</span> \|\| \|\| \|\| \|\|		\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| \|\| <span style="color:#8B4513"> not available</span> \|\| \|\| \|\| \|\|
	\|-		\|-
	\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.3.0 \|\| <span style="color:#006400"> available</span>\|\| \|\| 11th Feb. 2011 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|		\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.3.1 \|\| <span style="color:#006400"> available</span>\|\| \|\| 11th Feb. 2011 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|
	\|-		\|-
	\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.1.0 \|\| <span style="color:#006400"> available</span>\|\| \|\| 11th Feb. 2011 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|		\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.1.0 \|\| <span style="color:#006400"> available</span>\|\| \|\| 11th Feb. 2011 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|

imported>Tommy at 18:40, 22 February 2011

2011-02-22T18:40:46Z

← Older revision		Revision as of 18:40, 22 February 2011
Line 70:		Line 70:
	\|-		\|-
	\|}		\|}

			[[Category:Rodin Platform Release Notes]]

imported>Tommy at 12:58, 17 February 2011

2011-02-17T12:58:48Z

← Older revision		Revision as of 12:58, 17 February 2011
Line 38:		Line 38:
	! 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
	\|-		\|-
	\| \|\|Atelier-B provers \|\| \|\| <span style="color:#~~8B4513~~"> ~~not~~ available</span>\|\| \|\| \|\| \|\|		\| \|\|Atelier-B provers \|\| 1.2.2 \|\| <span style="color:#006400">available</span>\|\| \|\| 17th Feb. 2011 \|\| \|\|
	\|}		\|}

imported>Vitaly at 19:41, 15 February 2011

2011-02-15T19:41:05Z

← Older revision		Revision as of 19:41, 15 February 2011
Line 9:		Line 9:
	\| [[Image:Umlb32.gif\|30px]]\|\|[[UML-B\|UML-B]] \|\| 2.2.0 \|\| <span style="color:#006400"> available</span>\|\| \|\| 9th Feb. 2011 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\|		\| [[Image:Umlb32.gif\|30px]]\|\|[[UML-B\|UML-B]] \|\| 2.2.0 \|\| <span style="color:#006400"> available</span>\|\| \|\| 9th Feb. 2011 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\|
	\|-		\|-
	\| \|\|[[EMF_framework_for_Event-B\|Event-B EMF framework]] \|\| \|\|<span style="color:#~~8B4513~~"> ~~not~~ available</span>\|\| \|\| \|\| \|\| Users should not need to install this framework. It will be installed automatically by other plug-ins as required.		\| \|\|[[UML-B_-_Statemachine_Animation\|UML-B Statemachine Animation]] \|\| 1.1.0 \|\| <span style="color:#006400"> 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.2.1 \|\|<span style="color:#006400"> available</span>\|\| \|\| \|\| \|\| 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.1.0 \|\|<span style="color:#006400"> available</span>\|\| \|\| \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\|		\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.1.0 \|\|<span style="color:#006400"> available</span>\|\| \|\| \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\|

imported>Renato: /* Rodin Update Site */

2011-02-14T13:00:49Z

Rodin Update Site

← Older revision		Revision as of 13:00, 14 February 2011
Line 17:		Line 17:
	\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| \|\| <span style="color:#8B4513"> not available</span> \|\| \|\| \|\| \|\|		\| \|\|[[EMF_Compare_Editor_installation\|Teamwork]] \|\| \|\| <span style="color:#8B4513"> not available</span> \|\| \|\| \|\| \|\|
	\|-		\|-
	\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| \|\| <span style="color:#006400"> available</span>\|\| \|\| 11th Feb. 2011 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|		\| \|\|[[Parallel_Composition_using_Event-B \| Shared Event Composition]] \|\| 1.3.0 \|\| <span style="color:#006400"> available</span>\|\| \|\| 11th Feb. 2011 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|
	\|-		\|-
	\| \|\|[[Refactoring Framework \| Refactory ]]\|\| \|\| <span style="color:#006400"> available</span>\|\| \|\| 11th Feb. 2011 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|		\| \|\|[[Refactoring Framework \| Refactory ]]\|\| 1.1.0 \|\| <span style="color:#006400"> available</span>\|\| \|\| 11th Feb. 2011 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|
	\|-		\|-
	\| [[Image:DecompositionPlug-in_logo.png\|30px]] \|\| [[Decomposition Plug-in User Guide \| Decomposition]] \|\| \|\| <span style="color:#006400"> available</span>\|\| \|\| 11th Feb. 2011 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|		\| [[Image:DecompositionPlug-in_logo.png\|30px]] \|\| [[Decomposition Plug-in User Guide \| Decomposition]] \|\| 1.2.0 \|\| <span style="color:#006400"> available</span>\|\| \|\| 11th Feb. 2011 \|\| [mailto:ras07r@ecs.soton.ac.uk email] \|\|
	\|-		\|-
	\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.0 \|\| <span style="color:#006400"> available</span> \|\| \|\| \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\|		\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.0 \|\| <span style="color:#006400"> available</span> \|\| \|\| \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\|