Rodin Platform 2.4 External Plug-ins - Revision history

imported>Neoser: /* Other Update Sites */

2012-05-17T08:35:57Z

Other Update Sites

← Older revision		Revision as of 08:35, 17 May 2012
Line 79:		Line 79:
	\|		\|
	\|-		\|-
	\| [[Image:EHDL_Ver2.png\|center\|28px]] \|\|[[VHDL code generator]]\|\| 2.0.2 \|\| <span style="color:#006400">available</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.4 \|\| <span style="color:#006400">available</span>\|\| 2.x.x \|\| 12th March 2012 \|\| [mailto:Sergey.Ostroumov@abo.fi Sergey Ostroumov] \|\| Update site: <tt>http://www.eventb-to-vhdl.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>Jastram: /* ProR Update Site */

2012-04-29T18:58:48Z

ProR Update Site

← Older revision		Revision as of 18:58, 29 April 2012
Line 70:		Line 70:
	\| [[Image:Prob_eventb_wiki_logo.png\|30px]]\|\|[http://www.stups.uni-duesseldorf.de/ProB ProB] \|\| 2.3.0\|\| <span style="color:green"> available</span>\|\| 2.4.x \|\| 01/20/2012 \|\| [mailto:jens@bendisposto.de Jens Bendisposto] \|\| 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] \|\| 2.3.0\|\| <span style="color:green"> available</span>\|\| 2.4.x \|\| 01/20/2012 \|\| [mailto:jens@bendisposto.de Jens Bendisposto] \|\| 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] \|\| 8.0.1 \|\|<span style="color:~~#8B4513~~"> ~~not~~ available</span> \|\| 2.x.x \|\| ~~16th May 2011~~ \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Update site: http://~~update~~.~~pror~~.~~org~~<br>Project web site: http://eclipse.org/rmf		\| [[Image:ProR_logo.png\|32px]] \|\| [http://pror.org ProR] \|\| 0.2.0 \|\|<span style="color:green"> available</span> \|\| 2.x.x \|\| 30th April 2012 \|\| [mailto:michael@jastram.de Michael Jastram] \|\| Update site: http://www.stups.uni-duesseldorf.de/pror_updates/<br>Project web site: http://eclipse.org/rmf/pror
	\|-		\|-
	\| [[Image:MBT_for_Event-B_Logo_Medium.png]] \|\|[[MBT_plugin\|MBT plugin]] \|\| 2.0 \|\| <span style="color:#006400">available</span>\|\| 2.3.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:#006400">available</span>\|\| 2.3.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>Tommy: /* Rodin Update Site */

2012-04-24T08:22:42Z

Rodin Update Site

← Older revision		Revision as of 08:22, 24 April 2012
Line 42:		Line 42:
	\| \|\| [[Event-B Qualitative Probability User Guide \| Qualitative Probability]] \|\| 0.2.1 \|\| <span style="color:green">available</span> \|\| 2.3.x \|\| 23rd November 2011 \|\| [mailto:htson@inf.ethz.ch email] \|\|		\| \|\| [[Event-B Qualitative Probability User Guide \| Qualitative Probability]] \|\| 0.2.1 \|\| <span style="color:green">available</span> \|\| 2.3.x \|\| 23rd November 2011 \|\| [mailto:htson@inf.ethz.ch email] \|\|
	\|-		\|-
	\| \|\| [[B2Latex \| B2Latex export]] \|\| 0.5.2 \|\| <span style="color:green">available</span> \|\| 2.4.x \|\| ~~3rd~~ April 2012 \|\| [mailto:thomas.muller@systerel.fr email] \|\|		\| \|\| [[B2Latex \| B2Latex export]] \|\| 0.5.3 \|\| <span style="color:green">available</span> \|\| 2.4.x \|\| 16th April 2012 \|\| [mailto:thomas.muller@systerel.fr email] \|\|
	\|}		\|}

imported>Neoser: /* Other Update Sites */

2012-04-16T10:58:43Z

Other Update Sites

← Older revision		Revision as of 10:58, 16 April 2012
Line 79:		Line 79:
	\|		\|
	\|-		\|-
	\| [[Image:EHDL_Ver2.png]] \|\|[[VHDL code generator]]\|\| 2.0.2 \|\| <span style="color:#006400">available</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:#006400">available</span>\|\| 2.x.x \|\| 12th March 2012 \|\| [mailto:Sergey.Ostroumov@abo.fi Sergey Ostroumov] \|\| Update site: <tt>http://www.eventb-to-vhdl.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>Neoser: /* Other Update Sites */

2012-04-16T10:57:12Z

Other Update Sites

← Older revision		Revision as of 10:57, 16 April 2012
Line 79:		Line 79:
	\|		\|
	\|-		\|-
	\| \|\|[[VHDL code generator]]\|\| 2.0.2 \|\| <span style="color:#006400">available</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]] \|\|[[VHDL code generator]]\|\| 2.0.2 \|\| <span style="color:#006400">available</span>\|\| 2.x.x \|\| 12th March 2012 \|\| [mailto:Sergey.Ostroumov@abo.fi Sergey Ostroumov] \|\| Update site: <tt>http://www.eventb-to-vhdl.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>Neoser: /* Other Update Sites */

2012-04-16T10:49:58Z

Other Update Sites

← Older revision		Revision as of 10:49, 16 April 2012
Line 79:		Line 79:
	\|		\|
	\|-		\|-
	\| [[VHDL code generator]]\|\| 2.0.2 \|\| <span style="color:#006400">available</span>\|\| 2.x.x \|\| 12th March 2012 \|\| [mailto:Sergey.Ostroumov@abo.fi Sergey Ostroumov] \|\| Update site: <tt>http://www.eventb-to-vhdl.tk/</tt>		\| \|\|[[VHDL code generator]]\|\| 2.0.2 \|\| <span style="color:#006400">available</span>\|\| 2.x.x \|\| 12th March 2012 \|\| [mailto:Sergey.Ostroumov@abo.fi Sergey Ostroumov] \|\| Update site: <tt>http://www.eventb-to-vhdl.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>Neoser: /* Rodin Update Site */

2012-04-16T10:49:37Z

Rodin Update Site

← Older revision		Revision as of 10:49, 16 April 2012
Line 17:		Line 17:
	\| \|\| [[Isabelle for Rodin]] \|\| \|\| <span style="color:green">available</span> \|\| 2.x.x \|\| \|\| \|\|		\| \|\| [[Isabelle for Rodin]] \|\| \|\| <span style="color:green">available</span> \|\| 2.x.x \|\| \|\| \|\|
	\|-		\|-
	\| ~~[[Image:Example.jpg]]~~[[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.3.0 \|\|<span style="color:green">available</span>\|\| \|\| 25th Aug. 2011 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\|		\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.3.0 \|\|<span style="color:green">available</span>\|\| \|\| 25th Aug. 2011 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\|
	\|-		\|-
	\| \|\|[[Records\|Records]] \|\| 1.0.1 \|\|<span style="color:green">available</span> \|\| \|\| \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\|This release includes EMF and Refactory support for records.		\| \|\|[[Records\|Records]] \|\| 1.0.1 \|\|<span style="color:green">available</span> \|\| \|\| \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\|This release includes EMF and Refactory support for records.

imported>Neoser at 10:48, 16 April 2012

2012-04-16T10:48:57Z

← Older revision		Revision as of 10:48, 16 April 2012
Line 17:		Line 17:
	\| \|\| [[Isabelle for Rodin]] \|\| \|\| <span style="color:green">available</span> \|\| 2.x.x \|\| \|\| \|\|		\| \|\| [[Isabelle for Rodin]] \|\| \|\| <span style="color:green">available</span> \|\| 2.x.x \|\| \|\| \|\|
	\|-		\|-
	\| [[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.3.0 \|\|<span style="color:green">available</span>\|\| \|\| 25th Aug. 2011 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\|		\| [[Image:Example.jpg]][[Image:Rose.gif\|30px]]\|\|[[Rose_(Structured)_Editor\|Rose]] \|\| 1.3.0 \|\|<span style="color:green">available</span>\|\| \|\| 25th Aug. 2011 \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\|
	\|-		\|-
	\| \|\|[[Records\|Records]] \|\| 1.0.1 \|\|<span style="color:green">available</span> \|\| \|\| \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\|This release includes EMF and Refactory support for records.		\| \|\|[[Records\|Records]] \|\| 1.0.1 \|\|<span style="color:green">available</span> \|\| \|\| \|\| [mailto:cfs@ecs.soton.ac.uk email] \|\|This release includes EMF and Refactory support for records.
Line 79:		Line 79:
	\|		\|
	\|-		\|-
	~~\| [[Image:\|thumb\|center\|270px]] \|~~\| [[VHDL code generator]]\|\| 2.0.2 \|\| <span style="color:#006400">available</span>\|\| 2.x.x \|\| 12th March 2012 \|\| [mailto:Sergey.Ostroumov@abo.fi Sergey Ostroumov] \|\| Update site: <tt>http://www.eventb-to-vhdl.tk/</tt>		\| [[VHDL code generator]]\|\| 2.0.2 \|\| <span style="color:#006400">available</span>\|\| 2.x.x \|\| 12th March 2012 \|\| [mailto:Sergey.Ostroumov@abo.fi Sergey Ostroumov] \|\| Update site: <tt>http://www.eventb-to-vhdl.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>Neoser: /* Other Update Sites */

2012-04-16T10:41:32Z

Other Update Sites

← Older revision		Revision as of 10:41, 16 April 2012
Line 79:		Line 79:
	\|		\|
	\|-		\|-
	\| \|\|[[VHDL code generator]]\|\| 2.0.2 \|\| <span style="color:#006400">available</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:\|thumb\|center\|270px]] \|\| [[VHDL code generator]]\|\| 2.0.2 \|\| <span style="color:#006400">available</span>\|\| 2.x.x \|\| 12th March 2012 \|\| [mailto:Sergey.Ostroumov@abo.fi Sergey Ostroumov] \|\| Update site: <tt>http://www.eventb-to-vhdl.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>Neoser: /* Other Update Sites */

2012-04-16T10:38:09Z

Other Update Sites

← Older revision		Revision as of 10:38, 16 April 2012
Line 77:		Line 77:
	\|-		\|-
	\| \|\|[[Transformation patterns]]\|\| 1.0 \|\| <span style="color:#8B4513"> not available</span>\|\| 2.x.x \|\| 4th July 2011 \|\| [mailto:ilya.lopatkin@ncl.ac.uk Ilya Lopatkin] \|\| Update site: <tt>http://rodinmodeftview.sourceforge.net/</tt>		\| \|\|[[Transformation patterns]]\|\| 1.0 \|\| <span style="color:#8B4513"> not available</span>\|\| 2.x.x \|\| 4th July 2011 \|\| [mailto:ilya.lopatkin@ncl.ac.uk Ilya Lopatkin] \|\| Update site: <tt>http://rodinmodeftview.sourceforge.net/</tt>
	\|}		\|
	\|-		\|-
	\| \|\|[[VHDL code generator]]\|\| 2.0.2 \|\| <span style="color:#006400">available</span>\|\| 2.x.x \|\| 12th March 2012 \|\| [mailto:Sergey.Ostroumov@abo.fi Sergey Ostroumov] \|\| Update site: <tt>http://www.eventb-to-vhdl.tk/</tt>		\| \|\|[[VHDL code generator]]\|\| 2.0.2 \|\| <span style="color:#006400">available</span>\|\| 2.x.x \|\| 12th March 2012 \|\| [mailto:Sergey.Ostroumov@abo.fi Sergey Ostroumov] \|\| Update site: <tt>http://www.eventb-to-vhdl.tk/</tt>