https://wiki.event-b.org/index.php?action=history&feed=atom&title=Rodin_Platform_2.7.0_External_Plug-ins
Rodin Platform 2.7.0 External Plug-ins - Revision history
2026-04-08T11:37:38Z
Revision history for this page on the wiki
MediaWiki 1.42.1
https://wiki.event-b.org/index.php?title=Rodin_Platform_2.7.0_External_Plug-ins&diff=7923&oldid=prev
imported>Nicolas: /* Rodin Update Site */ SMT 1.0 available
2013-06-03T13:37:36Z
<p><span dir="auto"><span class="autocomment">Rodin Update Site: </span> SMT 1.0 available</span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en-GB">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 13:37, 3 June 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l69">Line 69:</td>
<td colspan="2" class="diff-lineno">Line 69:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-.x</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-.x</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>| || [[<del style="font-weight: bold; text-decoration: none;">SMT_Plug</del>-in | SMT Solvers ]] || 0<del style="font-weight: bold; text-decoration: none;">.8</del>.0 || <span style="color:<del style="font-weight: bold; text-decoration: none;">#8B4513</del>"> <del style="font-weight: bold; text-decoration: none;">not </del>available</span> || 2.<del style="font-weight: bold; text-decoration: none;">4 </del>|| <del style="font-weight: bold; text-decoration: none;">17th Feb. 2012</del>|| [mailto:laurent.voisin@systerel.fr Laurent Voisin] || <del style="font-weight: bold; text-decoration: none;">This plug-in is not currently available. Please contact [mailto:laurent.voisin@systerel.fr Laurent Voisin]</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>| || [[<ins style="font-weight: bold; text-decoration: none;">SMT_Solvers_Plug</ins>-in | SMT Solvers ]] || <ins style="font-weight: bold; text-decoration: none;">1.</ins>0.0 || <span style="color:<ins style="font-weight: bold; text-decoration: none;">green</ins>"> available</span> || 2.<ins style="font-weight: bold; text-decoration: none;">7 </ins>|| <ins style="font-weight: bold; text-decoration: none;">3rd June 2013</ins>|| [mailto:laurent.voisin@systerel.fr Laurent Voisin] || </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| || [[Event-B Qualitative Probability User Guide | Qualitative Probability]] || 0.2.1 || <span style="color:#8B4513"> not checked</span> || 2.3.x || 23rd November 2011 || [mailto:htson@inf.ethz.ch email] || </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| || [[Event-B Qualitative Probability User Guide | Qualitative Probability]] || 0.2.1 || <span style="color:#8B4513"> not checked</span> || 2.3.x || 23rd November 2011 || [mailto:htson@inf.ethz.ch email] || </div></td></tr>
</table>
imported>Nicolas
https://wiki.event-b.org/index.php?title=Rodin_Platform_2.7.0_External_Plug-ins&diff=7922&oldid=prev
imported>Asiehsalehi: /* Rodin Update Site */
2013-05-14T09:46:42Z
<p><span dir="auto"><span class="autocomment">Rodin Update Site</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en-GB">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 09:46, 14 May 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l58">Line 58:</td>
<td colspan="2" class="diff-lineno">Line 58:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6.</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.2.6 || <span style="color:green"> available</span>|| || 11th Dec 2012 || [mailto:<del style="font-weight: bold; text-decoration: none;">ras07r</del>@ecs.soton.ac.uk email] || Compatible with Rodin 2.7 .</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.2.6 || <span style="color:green"> available</span>|| || 11th Dec 2012 || [mailto:<ins style="font-weight: bold; text-decoration: none;">asf08r</ins>@ecs.soton.ac.uk email] || Compatible with Rodin 2.7 .</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="color:green"> available </span> || || 15th Nov. 2010 || [mailto:vs2@ecs.soton.ac.uk email] || Machine - Context relationship diagram</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="color:green"> available </span> || || 15th Nov. 2010 || [mailto:vs2@ecs.soton.ac.uk email] || Machine - Context relationship diagram</div></td></tr>
</table>
imported>Asiehsalehi
https://wiki.event-b.org/index.php?title=Rodin_Platform_2.7.0_External_Plug-ins&diff=7921&oldid=prev
imported>Asiehsalehi: /* Rodin Update Site */
2013-02-15T15:08:32Z
<p><span dir="auto"><span class="autocomment">Rodin Update Site</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en-GB">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 15:08, 15 February 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l58">Line 58:</td>
<td colspan="2" class="diff-lineno">Line 58:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6.</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.2.6 || <span style="color:green"> available</span>|| || 11th Dec 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Compatible with Rodin 2.<del style="font-weight: bold; text-decoration: none;">6 . Bug fix for the decomposition wizard when dealing with a large number of events/variables (were not properly displayed)</del>.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.2.6 || <span style="color:green"> available</span>|| || 11th Dec 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Compatible with Rodin 2.<ins style="font-weight: bold; text-decoration: none;">7 </ins>.</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="color:green"> available </span> || || 15th Nov. 2010 || [mailto:vs2@ecs.soton.ac.uk email] || Machine - Context relationship diagram</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="color:green"> available </span> || || 15th Nov. 2010 || [mailto:vs2@ecs.soton.ac.uk email] || Machine - Context relationship diagram</div></td></tr>
</table>
imported>Asiehsalehi
https://wiki.event-b.org/index.php?title=Rodin_Platform_2.7.0_External_Plug-ins&diff=7920&oldid=prev
imported>Asiehsalehi: /* Rodin Update Site */
2013-02-15T15:07:37Z
<p><span dir="auto"><span class="autocomment">Rodin Update Site</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en-GB">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 15:07, 15 February 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l58">Line 58:</td>
<td colspan="2" class="diff-lineno">Line 58:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6.</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.2.<del style="font-weight: bold; text-decoration: none;">5 </del>|| <span style="color:green"> available</span>|| || 11th Dec 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Compatible with Rodin 2.6 . Bug fix for the decomposition wizard when dealing with a large number of events/variables (were not properly displayed).</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.2.<ins style="font-weight: bold; text-decoration: none;">6 </ins>|| <span style="color:green"> available</span>|| || 11th Dec 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Compatible with Rodin 2.6 . Bug fix for the decomposition wizard when dealing with a large number of events/variables (were not properly displayed).</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="color:green"> available </span> || || 15th Nov. 2010 || [mailto:vs2@ecs.soton.ac.uk email] || Machine - Context relationship diagram</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="color:green"> available </span> || || 15th Nov. 2010 || [mailto:vs2@ecs.soton.ac.uk email] || Machine - Context relationship diagram</div></td></tr>
</table>
imported>Asiehsalehi
https://wiki.event-b.org/index.php?title=Rodin_Platform_2.7.0_External_Plug-ins&diff=7919&oldid=prev
imported>Tommy: /* Rodin Update Site */
2013-01-24T13:14:43Z
<p><span dir="auto"><span class="autocomment">Rodin Update Site</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en-GB">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 13:14, 24 January 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l69">Line 69:</td>
<td colspan="2" class="diff-lineno">Line 69:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-.x</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-.x</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>| || [[SMT_Plug-in | SMT Solvers ]] || 0.8.0 || <span style="color:#8B4513"> not available</span> || 2.4 || 17th Feb. 2012|| <del style="font-weight: bold; text-decoration: none;">this </del>plug-in is not currently available. Please contact [mailto:laurent.voisin@systerel.fr Laurent Voisin] <del style="font-weight: bold; text-decoration: none;"> || </del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>| || [[SMT_Plug-in | SMT Solvers ]] || 0.8.0 || <span style="color:#8B4513"> not available</span> || 2.4 || 17th Feb. 2012|| <ins style="font-weight: bold; text-decoration: none;">[mailto:laurent.voisin@systerel.fr Laurent Voisin] || This </ins>plug-in is not currently available. Please contact [mailto:laurent.voisin@systerel.fr Laurent Voisin]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| || [[Event-B Qualitative Probability User Guide | Qualitative Probability]] || 0.2.1 || <span style="color:#8B4513"> not checked</span> || 2.3.x || 23rd November 2011 || [mailto:htson@inf.ethz.ch email] || </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| || [[Event-B Qualitative Probability User Guide | Qualitative Probability]] || 0.2.1 || <span style="color:#8B4513"> not checked</span> || 2.3.x || 23rd November 2011 || [mailto:htson@inf.ethz.ch email] || </div></td></tr>
</table>
imported>Tommy
https://wiki.event-b.org/index.php?title=Rodin_Platform_2.7.0_External_Plug-ins&diff=7918&oldid=prev
imported>Tommy: /* Rodin Update Site */
2013-01-24T13:13:44Z
<p><span dir="auto"><span class="autocomment">Rodin Update Site</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en-GB">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 13:13, 24 January 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l69">Line 69:</td>
<td colspan="2" class="diff-lineno">Line 69:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-.x</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-.x</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>| || [[SMT_Plug-in | SMT Solvers ]] || 0.8.0 || <span style="color:#8B4513"> not <del style="font-weight: bold; text-decoration: none;">checked</del></span> || 2.4 || 17th Feb. 2012|| <del style="font-weight: bold; text-decoration: none;">[mailto:yoann</del>.<del style="font-weight: bold; text-decoration: none;">guyot@systerel.fr Yoann Guyot] or </del>[mailto:laurent.voisin@systerel.fr Laurent Voisin] || </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>| || [[SMT_Plug-in | SMT Solvers ]] || 0.8.0 || <span style="color:#8B4513"> not <ins style="font-weight: bold; text-decoration: none;">available</ins></span> || 2.4 || 17th Feb. 2012|| <ins style="font-weight: bold; text-decoration: none;">this plug-in is not currently available</ins>. <ins style="font-weight: bold; text-decoration: none;">Please contact </ins>[mailto:laurent.voisin@systerel.fr Laurent Voisin] || </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| || [[Event-B Qualitative Probability User Guide | Qualitative Probability]] || 0.2.1 || <span style="color:#8B4513"> not checked</span> || 2.3.x || 23rd November 2011 || [mailto:htson@inf.ethz.ch email] || </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| || [[Event-B Qualitative Probability User Guide | Qualitative Probability]] || 0.2.1 || <span style="color:#8B4513"> not checked</span> || 2.3.x || 23rd November 2011 || [mailto:htson@inf.ethz.ch email] || </div></td></tr>
</table>
imported>Tommy
https://wiki.event-b.org/index.php?title=Rodin_Platform_2.7.0_External_Plug-ins&diff=7917&oldid=prev
imported>Tommy: /* Rodin Update Site */
2013-01-24T13:12:36Z
<p><span dir="auto"><span class="autocomment">Rodin Update Site</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en-GB">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 13:12, 24 January 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l58">Line 58:</td>
<td colspan="2" class="diff-lineno">Line 58:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6.</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.2.5 || <span style="color:<del style="font-weight: bold; text-decoration: none;">#8B4513</del>"> available</span>|| || 11th Dec 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Compatible with Rodin 2.6 . Bug fix for the decomposition wizard when dealing with a large number of events/variables (were not properly displayed).</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.2.5 || <span style="color:<ins style="font-weight: bold; text-decoration: none;">green</ins>"> available</span>|| || 11th Dec 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Compatible with Rodin 2.6 . Bug fix for the decomposition wizard when dealing with a large number of events/variables (were not properly displayed).</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="color:green"> available </span> || || 15th Nov. 2010 || [mailto:vs2@ecs.soton.ac.uk email] || Machine - Context relationship diagram</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="color:green"> available </span> || || 15th Nov. 2010 || [mailto:vs2@ecs.soton.ac.uk email] || Machine - Context relationship diagram</div></td></tr>
</table>
imported>Tommy
https://wiki.event-b.org/index.php?title=Rodin_Platform_2.7.0_External_Plug-ins&diff=7916&oldid=prev
imported>Asiehsalehi: /* Rodin Update Site */
2012-12-11T16:27:39Z
<p><span dir="auto"><span class="autocomment">Rodin Update Site</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en-GB">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 16:27, 11 December 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l54">Line 54:</td>
<td colspan="2" class="diff-lineno">Line 54:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[EMF_Compare_Editor_installation|Teamwork]] || 1.1.0 || <span style="color:#8B4513"> not checked</span> || || 15th Oct. 2010 || [mailto:cfs@ecs.soton.ac.uk email] || No longer actively supported - please email if you wish to use this plugin</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[EMF_Compare_Editor_installation|Teamwork]] || 1.1.0 || <span style="color:#8B4513"> not checked</span> || || 15th Oct. 2010 || [mailto:cfs@ecs.soton.ac.uk email] || No longer actively supported - please email if you wish to use this plugin</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.6.0 || <span style="color:#8B4513"> available</span>|| || 16th August 2012 || [mailto:ras07r<del style="font-weight: bold; text-decoration: none;">@ecs.soton.ac.uk email, asf08r</del>@ecs.soton.ac.uk email] || Compatible with Rodin 2.6. Bug fix related with dependencies of machines that are in different projects</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.6.0 || <span style="color:#8B4513"> available</span>|| || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Compatible with Rodin 2.6. Bug fix related with dependencies of machines that are in different projects</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6.</div></td></tr>
</table>
imported>Asiehsalehi
https://wiki.event-b.org/index.php?title=Rodin_Platform_2.7.0_External_Plug-ins&diff=7915&oldid=prev
imported>Asiehsalehi: /* Rodin Update Site */
2012-12-11T16:25:45Z
<p><span dir="auto"><span class="autocomment">Rodin Update Site</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en-GB">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 16:25, 11 December 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l54">Line 54:</td>
<td colspan="2" class="diff-lineno">Line 54:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[EMF_Compare_Editor_installation|Teamwork]] || 1.1.0 || <span style="color:#8B4513"> not checked</span> || || 15th Oct. 2010 || [mailto:cfs@ecs.soton.ac.uk email] || No longer actively supported - please email if you wish to use this plugin</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[EMF_Compare_Editor_installation|Teamwork]] || 1.1.0 || <span style="color:#8B4513"> not checked</span> || || 15th Oct. 2010 || [mailto:cfs@ecs.soton.ac.uk email] || No longer actively supported - please email if you wish to use this plugin</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.6.0 || <span style="color:#8B4513"> available</span>|| || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Compatible with Rodin 2.6. Bug fix related with dependencies of machines that are in different projects</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.6.0 || <span style="color:#8B4513"> available</span>|| || 16th August 2012 || [mailto:ras07r<ins style="font-weight: bold; text-decoration: none;">@ecs.soton.ac.uk email, asf08r</ins>@ecs.soton.ac.uk email] || Compatible with Rodin 2.6. Bug fix related with dependencies of machines that are in different projects</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6.</div></td></tr>
</table>
imported>Asiehsalehi
https://wiki.event-b.org/index.php?title=Rodin_Platform_2.7.0_External_Plug-ins&diff=7914&oldid=prev
imported>Asiehsalehi: /* Rodin Update Site */
2012-12-11T16:24:25Z
<p><span dir="auto"><span class="autocomment">Rodin Update Site</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en-GB">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 16:24, 11 December 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l54">Line 54:</td>
<td colspan="2" class="diff-lineno">Line 54:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[EMF_Compare_Editor_installation|Teamwork]] || 1.1.0 || <span style="color:#8B4513"> not checked</span> || || 15th Oct. 2010 || [mailto:cfs@ecs.soton.ac.uk email] || No longer actively supported - please email if you wish to use this plugin</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[EMF_Compare_Editor_installation|Teamwork]] || 1.1.0 || <span style="color:#8B4513"> not checked</span> || || 15th Oct. 2010 || [mailto:cfs@ecs.soton.ac.uk email] || No longer actively supported - please email if you wish to use this plugin</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.6.0 || <span style="color:#8B4513"> <del style="font-weight: bold; text-decoration: none;">not checked</del></span>|| <del style="font-weight: bold; text-decoration: none;">2.6.x </del>|| 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Compatible with Rodin 2.6. Bug fix related with dependencies of machines that are in different projects</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.6.0 || <span style="color:#8B4513"> <ins style="font-weight: bold; text-decoration: none;">available</ins></span>|| || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Compatible with Rodin 2.6. Bug fix related with dependencies of machines that are in different projects</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6.</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.2.<del style="font-weight: bold; text-decoration: none;">4 </del>|| <span style="color:#8B4513"> <del style="font-weight: bold; text-decoration: none;">not checked</del></span>|| <del style="font-weight: bold; text-decoration: none;">2.6.x </del>|| <del style="font-weight: bold; text-decoration: none;">16th August </del>2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Compatible with Rodin 2.6 . Bug fix for the decomposition wizard when dealing with a large number of events/variables (were not properly displayed).</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.2.<ins style="font-weight: bold; text-decoration: none;">5 </ins>|| <span style="color:#8B4513"> <ins style="font-weight: bold; text-decoration: none;">available</ins></span>|| || <ins style="font-weight: bold; text-decoration: none;">11th Dec </ins>2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Compatible with Rodin 2.6 . Bug fix for the decomposition wizard when dealing with a large number of events/variables (were not properly displayed).</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="color:green"> available </span> || || 15th Nov. 2010 || [mailto:vs2@ecs.soton.ac.uk email] || Machine - Context relationship diagram</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="color:green"> available </span> || || 15th Nov. 2010 || [mailto:vs2@ecs.soton.ac.uk email] || Machine - Context relationship diagram</div></td></tr>
</table>
imported>Asiehsalehi