Difference between revisions of "Rodin Platform 2.0 External Plug-ins"

Revision as of 14:21, 3 December 2010

Plug-in name	Version	Status	Contact	Additional info
UML-B	2.1.1	available
Event-B EMF framework	3.2.1	available		Users should not need to install this framework. It will be installed automatically by other plug-ins as required.
Rose	1.1.0	available
Records	1.0.1	available		This release includes EMF and Refactory support for records.
Teamwork	1.1.0	available
Shared Event Composition plug-in	1.2	available
Refactory plug-in	1.0.0	available	email
Decomposition plug-in	1.1.0	available
Project Diagram	??	available

	Plug-in name	Version	Status	Release Date	Contact	Additional info
	Atelier-B provers	1.2.0	available

Plug-in name	Version	Status	Release Date	Contact	Additional info
AnimB	0.2.1	available		contact	Use the update site `http://www.animb.org/updatesite`
Camille	2.0.1	available			Use the ProB update site. You need to add the Helios update site (see Event-B EMF framework 3.2.0)
Modularisation	1.4.2	available			Use the update site `http://www.iliasov.org/modplugin`
Group refinement	0.1.1	available			Use the update site `http://iliasov.org/refplugin`
ProB		not available	??		We are actively working on the release.
ProR		available	4.4.0	Michael Jastram

@@ Line 45: / Line 45: @@
 |-
 | [[Image:Prob_eventb_wiki_logo.png|30px]]||[[ProB]] ||  || <span style="color:#8B4513">not available</span> || ?? || || We are actively working on the release.
+|-
+| [[Image:ProR_logo.png|32px]]||[http://pror.org ProR] ||  || <span style="color:#006400">available</span> || 4.4.0 || [mailto:michael@jastram.de Michael Jastram] ||
 |}