Rodin Platform 3.4.0 External Plug-ins - Revision history

imported>Colin: /* Rodin Update Site */

2019-12-12T16:00:00Z

Rodin Update Site

← Older revision		Revision as of 16:00, 12 December 2019
Line 42:		Line 42:
	\|-.x		\|-.x
	\|-		\|-
	\| \|\| Relevance Filter \|\| 1.1.1 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~ </span> \|\| ?.x.x \|\| \|\| \|\| (appears to still work - cfsnook 23/06/~~15)~~		\| \|\| Relevance Filter \|\| 1.1.1 \|\| <span style="color:green"> available </span> \|\| ?.x.x \|\| \|\| \|\| Checked and appears to still work in Rodin 3.4 - cfsnook 12/12/09
	\|-		\|-
	\| \|\| [[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.3.0 \|\| <span style="color:~~#8B4513~~"> ~~not checked~~ </span> \|\| \|\| 15th March 2016\|\| [mailto:laurent.voisin@systerel.fr Laurent Voisin] \|\|		\| \|\| [[SMT_Plug-in \| SMT Solvers ]] \|\| 1.4.0 \|\| <span style="color:green"> available </span> \|\| \|\| 15th March 2016\|\| [mailto:laurent.voisin@systerel.fr Laurent Voisin] \|\| Checked and appears to still work in Rodin 3.4 - cfsnook 12/12/09
	\|-		\|-
	\| \|\| [[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] \|\|
Line 52:		Line 52:
	\| \|\| [[Event-B Qualitative Probability User Guide \| Qualitative Probability]] \|\| 0.2.3 \|\| <span style="color:green"> available </span> \|\| 3.x.x \|\| 9th October 2015 \|\| [mailto:tshoang@users.sourceforge.net Thai Son Hoang] \|\|		\| \|\| [[Event-B Qualitative Probability User Guide \| Qualitative Probability]] \|\| 0.2.3 \|\| <span style="color:green"> available </span> \|\| 3.x.x \|\| 9th October 2015 \|\| [mailto:tshoang@users.sourceforge.net Thai Son Hoang] \|\|
	\|-		\|-
	\| \|\| [[B2Latex \| B2Latex export]] \|\| 0.5.5 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~ </span>\|\| 2.5.x \|\| 27th May 2015 \|\| [mailto:thomas.muller@systerel.fr email] \|\|		\| \|\| [[B2Latex \| B2Latex export]] \|\| 0.7.0 \|\|<span style="color:green"> available </span>\|\| 2.5.x \|\| 27th May 2015 \|\| [mailto:thomas.muller@systerel.fr email] \|\| Checked and appears to still work in Rodin 3.4 - cfsnook 12/12/09
	\|-		\|-
	\| \|\| [[Generic Instantiation Plug-in User Guide \| Generic Instantiation (Soton)]] \|\| 1.0.1 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| 05th March 2013 \|\| [mailto:asf08r@ecs.soton.ac.uk email] \|\|		\| \|\| [[Generic Instantiation Plug-in User Guide \| Generic Instantiation (Soton)]] \|\| 1.0.1 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| 05th March 2013 \|\| [mailto:asf08r@ecs.soton.ac.uk email] \|\|
	\|-		\|-
	\| \|\|[[Records\|Records]] \|\| 2.0.0 \|\| <span style="color:green"> available </span> \|\| 2.x.x \|\| 16th Oct. 2010 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Checked and appears to still work in Rodin 3.4 - cfsnook 12/12/19 ~~- No longer actively supported - please email if you wish to use this plugin~~		\| \|\|[[Records\|Records]] \|\| 2.0.0 \|\| <span style="color:green"> available </span> \|\| 2.x.x \|\| 16th Oct. 2010 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Checked and appears to still work in Rodin 3.4 - cfsnook 12/12/19
	\|}		\|}

imported>Colin: /* Rodin Update Site */

2019-12-12T15:52:49Z

Rodin Update Site

← Older revision		Revision as of 15:52, 12 December 2019
Line 56:		Line 56:
	\| \|\| [[Generic Instantiation Plug-in User Guide \| Generic Instantiation (Soton)]] \|\| 1.0.1 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| 05th March 2013 \|\| [mailto:asf08r@ecs.soton.ac.uk email] \|\|		\| \|\| [[Generic Instantiation Plug-in User Guide \| Generic Instantiation (Soton)]] \|\| 1.0.1 \|\| <span style="color:#8B4513"> not checked</span> \|\| \|\| 05th March 2013 \|\| [mailto:asf08r@ecs.soton.ac.uk email] \|\|
	\|-		\|-
	\| \|\|[[Records\|Records]] \|\| 1.0.1 \|\|<span style="color:~~#8B4513~~"> ~~not not checked 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]] \|\| 2.0.0 \|\| <span style="color:green"> available </span> \|\| 2.x.x \|\| 16th Oct. 2010 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Checked and appears to still work in Rodin 3.4 - cfsnook 12/12/19 - No longer actively supported - please email if you wish to use this plugin
	\|}		\|}

imported>Son: /* Rodin Update Site */

2018-11-13T14:41:47Z

Rodin Update Site

← Older revision		Revision as of 14:41, 13 November 2018
Line 7:		Line 7:
	! 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:CamilleX.~~jpg~~\|CmX]] \|\| [[CamilleX\|CamilleX]] \|\| 1.0.0 \|\|<span style="color:green"> available </span> \|\| 3.4.0 \|\| 12 Nov 2018 \|\| [mailto:T.S.Hoang@ecs.soton.ac.uk Thai Son Hoang] \|\| CamilleX provides text editors for Event-B models.		\| [[Image:CamilleX.png\|CmX]] \|\| [[CamilleX\|CamilleX]] \|\| 1.0.0 \|\|<span style="color:green"> available </span> \|\| 3.4.0 \|\| 12 Nov 2018 \|\| [mailto:T.S.Hoang@ecs.soton.ac.uk Thai Son Hoang] \|\| CamilleX provides text editors for Event-B models.
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Classdiagrams\|Event-B Class Diagrams]] \|\| 2.0.0 \|\|<span style="color:green"> new release </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [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]] \|\| 2.0.0 \|\|<span style="color:green"> new release </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Class diagrams contained in Event-B Machines.

imported>Son: /* Rodin Update Site */

2018-11-13T14:40:15Z

Rodin Update Site

← Older revision		Revision as of 14:40, 13 November 2018
Line 6:		Line 6:
	\|-		\|-
	! 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:CamilleX.jpg\|CmX]] \|\| [[CamilleX\|CamilleX]] \|\| 1.0.0 \|\|<span style="color:green"> available </span> \|\| 3.4.0 \|\| 12 Nov 2018 \|\| [mailto:T.S.Hoang@ecs.soton.ac.uk Thai Son Hoang] \|\| CamilleX provides text editors for Event-B models.
	\|-		\|-
	\| [[Image:IUMLB_big.png\|30px]] \|\| [[Event-B_Classdiagrams\|Event-B Class Diagrams]] \|\| 2.0.0 \|\|<span style="color:green"> new release </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [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]] \|\| 2.0.0 \|\|<span style="color:green"> new release </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Class diagrams contained in Event-B Machines.

imported>Colin: /* Rodin Update Site */

2018-11-12T00:17:27Z

Rodin Update Site

← Older revision		Revision as of 00:17, 12 November 2018
Line 19:		Line 19:
	\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for diagrams]] \|\| 7.0.0 \|\|<span style="color:green"> new release </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.		\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for diagrams]] \|\| 7.0.0 \|\|<span style="color:green"> new release </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.7.0 \|\|<span style="color:green"> new release </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [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 editor]] \|\| 1.7.0 \|\|<span style="color:green"> new release </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [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:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.1 \|\|<span style="color:#8B4513"> not checked </span> \|\| 3.x.x \|\| 1st Feb. 2015 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Machine - Context relationship diagram		\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.1 \|\|<span style="color:#8B4513"> not checked </span> \|\| 3.x.x \|\| 1st Feb. 2015 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Machine - Context relationship diagram

imported>Colin: /* Rodin Update Site */

2018-11-12T00:15:51Z

Rodin Update Site

← Older revision		Revision as of 00:15, 12 November 2018
Line 7:		Line 7:
	! 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]] \|\| 2.0.0 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~ </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [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]] \|\| 2.0.0 \|\|<span style="color:green"> new release </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [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]] \|\| 4.0.0 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~ </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [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]] \|\| 4.0.0 \|\|<span style="color:green"> new release </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [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.4.0 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~ </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [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.4.0 \|\|<span style="color:green"> new release </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 3.x.x and ProB 3.0.x.
	\|-		\|-
	\| ~~[[Image:Project diagram icon s.png\|30px]]~~\|\|[[~~Project_Diagram~~\|~~Project Diagram~~]]\|\| 1.0.1 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~ </span> \|\| 3.x.x \|\| ~~1st Feb. 2015~~ \|\| [mailto:~~vs2~~@ecs.soton.ac.uk email] \|\| ~~Machine~~ - ~~Context relationship diagram~~		\| \|\|[[EMF_framework_for_Event-B\|Event-B EMF framework]] \|\| 6.0.0 \|\|<span style="color:green"> new release </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [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:Umlb32.gif\|30px]]~~ \|\| [[~~UML~~-B\|~~UML~~-B]] \|\| 2.3.0 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~ </span>\|\| 3.x.x \|\| ~~18th Oct. 2014~~ \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| ~~Original UML~~-~~B modelling environment~~		\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for extensions]] \|\| 6.0.0 \|\|<span style="color:green"> new release </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.
	\|-		\|-
	\| ~~[[Image:Umlb32.gif\|30px]]~~ \|\|[[~~UML~~-~~B_-_Statemachine_Animation~~\|~~UML~~-B ~~Statemachine Animation~~]] \|\| 1.3.0 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~ </span> \|\| 3.x.x \|\| ~~18th Oct. 2014~~ \|\| [mailto:~~vs2~~@ecs.soton.ac.uk email] \|\| ~~Compatible with UML~~-~~B 2~~.~~3 and ProB 3~~.0		\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for diagrams]] \|\| 7.0.0 \|\|<span style="color:green"> new release </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.
	\|-		\|-
	\| \|\|[[~~EMF_framework_for_Event-B~~\|~~Event-B EMF framework~~]] \|\| 5.4.0 \|\|<span style="color:~~#8B4513~~"> ~~not checked~~ </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.~~		\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.7.0 \|\|<span style="color:green"> new release </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [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
	\|-		\|-
	\| \|\|[[~~Generic_Event-B_EMF_extensions~~\|~~Event-B EMF support for extensions~~]] \|\| 5.2.0 \|\|<span style="color:#8B4513"> not checked </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.~~		\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.1 \|\|<span style="color:#8B4513"> not checked </span> \|\| 3.x.x \|\| 1st Feb. 2015 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Machine - Context relationship diagram
	\|-		\|-
	\| \|\|[[~~Generic_Event~~-~~B_EMF_extensions~~\|~~Event~~-B ~~EMF support for diagrams~~]] \|\| 6.0.0 \|\|<span style="color:#8B4513"> not checked </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:Umlb32.gif\|30px]] \|\| [[UML-B\|UML-B]] \|\| 2.3.0 \|\|<span style="color:#8B4513"> not checked </span>\|\| 3.x.x \|\| 18th Oct. 2014 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\| Original UML-B modelling environment
	\|-		\|-
	\| [[Image:~~Rose~~.gif\|30px]]\|\|[[~~Rose_(Structured)_Editor~~\|~~Rose~~]] \|\| 1.7.0 \|\|<span style="color:#8B4513"> not checked </span> \|\| 3.x.x \|\| ~~4 Nov 2018~~ \|\| [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:Umlb32.gif\|30px]] \|\|[[UML-B_-_Statemachine_Animation\|UML-B Statemachine Animation]] \|\| 1.3.0 \|\|<span style="color:#8B4513"> not checked </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_Compare_Editor_installation\|Teamwork]] \|\| 1.2.0 \|\| <span style="color:#8B4513"> not checked </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:#8B4513"> not checked </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).

imported>Colin: /* Rodin Update Site */

2018-11-06T18:22:46Z

Rodin Update Site

← Older revision		Revision as of 18:22, 6 November 2018
Line 25:		Line 25:
	\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for diagrams]] \|\| 6.0.0 \|\|<span style="color:#8B4513"> not checked </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.		\| \|\|[[Generic_Event-B_EMF_extensions\|Event-B EMF support for diagrams]] \|\| 6.0.0 \|\|<span style="color:#8B4513"> not checked </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:#8B4513"> not checked </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.7.0 \|\|<span style="color:#8B4513"> not checked </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [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:#8B4513"> not checked </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:#8B4513"> not checked </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).

imported>Colin: /* Rodin Update Site */

2018-11-06T18:21:10Z

Rodin Update Site

← Older revision		Revision as of 18:21, 6 November 2018
Line 7:		Line 7:
	! 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]] \|\| 2.0.0 \|\|<span style="color:#8B4513"> not checked </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]] \|\| 2.0.0 \|\|<span style="color:#8B4513"> not checked </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [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]] \|\| 4.0.0 \|\|<span style="color:#8B4513"> not checked </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-machines]] \|\| 4.0.0 \|\|<span style="color:#8B4513"> not checked </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [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:#8B4513"> not checked </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.4.0 \|\|<span style="color:#8B4513"> not checked </span> \|\| 3.x.x \|\| 4 Nov 2018 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Compatible with Event-B statemachines 3.x.x and ProB 3.0.x.
	\|-		\|-
	\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.1 \|\|<span style="color:#8B4513"> not checked </span> \|\| 3.x.x \|\| 1st Feb. 2015 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Machine - Context relationship diagram		\| [[Image:Project diagram icon s.png\|30px]]\|\|[[Project_Diagram\|Project Diagram]]\|\| 1.0.1 \|\|<span style="color:#8B4513"> not checked </span> \|\| 3.x.x \|\| 1st Feb. 2015 \|\| [mailto:vs2@ecs.soton.ac.uk email] \|\| Machine - Context relationship diagram

imported>Colin: /* Rodin Update Site */

2018-11-06T18:17:54Z

Rodin Update Site

← Older revision		Revision as of 18:17, 6 November 2018
Line 7:		Line 7:
	! 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.2.0 \|\|<span style="color:#8B4513"> not checked </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]] \|\| 2.0.0 \|\|<span style="color:#8B4513"> not checked </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.4.1 \|\|<span style="color:#8B4513"> not checked </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-machines]] \|\| 4.0.0 \|\|<span style="color:#8B4513"> not checked </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:#8B4513"> not checked </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:#8B4513"> not checked </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 */

2018-03-21T22:16:52Z

Rodin Update Site

← Older revision		Revision as of 22:16, 21 March 2018
Line 48:		Line 48:
	\| \|\| [[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] \|\|
	\|-		\|-
	\| \|\| [[Event-B Qualitative Probability User Guide \| Qualitative Probability]] \|\| 0.2.3 \|\| <span style="color:~~#8B4513~~"> ~~not checkedl~~</span> \|\| 3.x.x \|\| 9th October 2015 \|\| [mailto:tshoang@users.sourceforge.net Thai Son Hoang] \|\|		\| \|\| [[Event-B Qualitative Probability User Guide \| Qualitative Probability]] \|\| 0.2.3 \|\| <span style="color:green"> available </span> \|\| 3.x.x \|\| 9th October 2015 \|\| [mailto:tshoang@users.sourceforge.net Thai Son Hoang] \|\|
	\|-		\|-
	\| \|\| [[B2Latex \| B2Latex export]] \|\| 0.5.5 \|\|<span style="color:#8B4513"> not checked </span>\|\| 2.5.x \|\| 27th May 2015 \|\| [mailto:thomas.muller@systerel.fr email] \|\|		\| \|\| [[B2Latex \| B2Latex export]] \|\| 0.5.5 \|\|<span style="color:#8B4513"> not checked </span>\|\| 2.5.x \|\| 27th May 2015 \|\| [mailto:thomas.muller@systerel.fr email] \|\|