Rodin Platform 2.0 External Plug-ins: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Jastram
imported>Tommy
Line 36: Line 36:
! scope=col | ||Plug-in name || Version || Status || Release Date || Contact || Additional info
! scope=col | ||Plug-in name || Version || Status || Release Date || Contact || Additional info
|-
|-
| [[Image:AnimB.png|30px]] || [[AnimB]] || 0.2.1 || <span style="color:#006400">available</span> || || [mailto:christope.metayer@animb.org contact] || Use the update site <tt>http://www.animb.org/updatesite</tt>
| [[Image:AnimB.png|30px]] || [[AnimB]] || 0.2.1 || <span style="color:#006400">available</span> || || [mailto:christope.metayer@animb.org Christophe Métayer] || Use the update site <tt>http://www.animb.org/updatesite</tt>
|-
|-
| ||[[Camille_Editor|Camille]] || 2.0.1 || <span style="color:#006400">available</span> || || || Use the ProB update site. You need to add the Helios update site (see Event-B EMF framework 3.2.0)
| ||[[Camille_Editor|Camille]] || 2.0.1 || <span style="color:#006400">available</span> || || || Use the ProB update site. You need to add the Helios update site (see Event-B EMF framework 3.2.0)

Revision as of 17:39, 3 December 2010

Rodin Update Site

Plug-in name Version Status Release Date 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

B Method Update Site

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

Other Updates Sites

Plug-in name Version Status Release Date Contact Additional info
AnimB 0.2.1 available Christophe Métayer 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