https://wiki.event-b.org/api.php?action=feedcontributions&user=Maintenance+script&feedformat=atom
Event-B - User contributions [en-gb]
2024-03-28T12:57:42Z
User contributions
MediaWiki 1.33.3
https://wiki.event-b.org/index.php?title=File:Building_Event-B_Interlocking_Theories_-_Lessons_Learned_using_the_Theory_Plug-in.pdf&diff=14330
File:Building Event-B Interlocking Theories - Lessons Learned using the Theory Plug-in.pdf
2020-04-30T20:50:29Z
<p>Maintenance script: Maintenance script uploaded File:Building Event-B Interlocking Theories - Lessons Learned using the Theory Plug-in.pdf</p>
<hr />
<div>Building Event-B Interlocking Theories: Lessons Learned using the Theory Plug-in (Yoann Guyot, Renaud De Landtsheer, and Christophe Ponsard)</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Step6.png&diff=14331
File:Step6.png
2020-04-30T20:50:29Z
<p>Maintenance script: Maintenance script uploaded File:Step6.png</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:AllD_prover.gif&diff=14332
File:AllD prover.gif
2020-04-30T20:50:29Z
<p>Maintenance script: Maintenance script uploaded File:AllD prover.gif</p>
<hr />
<div>Import of icon /home/clabaut/workspace/org.eventb.ui/icons/full/ctool16/allD_prover.gif<br />
<br />
[[Category:Icon]]</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:FontainebleauAccommodation.pdf&diff=14333
File:FontainebleauAccommodation.pdf
2020-04-30T20:50:29Z
<p>Maintenance script: Maintenance script uploaded File:FontainebleauAccommodation.pdf</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Slides_PereverzevaInna.pdf&diff=14334
File:Slides PereverzevaInna.pdf
2020-04-30T20:50:29Z
<p>Maintenance script: Maintenance script uploaded File:Slides PereverzevaInna.pdf</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:GenInst-wizard2.jpg&diff=14335
File:GenInst-wizard2.jpg
2020-04-30T20:50:29Z
<p>Maintenance script: Maintenance script uploaded File:GenInst-wizard2.jpg</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Share_variable_mach_comp1.jpeg&diff=14336
File:Share variable mach comp1.jpeg
2020-04-30T20:50:29Z
<p>Maintenance script: Maintenance script uploaded File:Share variable mach comp1.jpeg</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Step_6_Wiki.png&diff=14328
File:Step 6 Wiki.png
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:Step 6 Wiki.png</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Rodin_3.2_symbols.gif&diff=14329
File:Rodin 3.2 symbols.gif
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:Rodin 3.2 symbols.gif</p>
<hr />
<div>Symbol table now works seamslessly with the Rodin Editor.</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:MBT_for_Event-B_Screenshot_-2.png&diff=14313
File:MBT for Event-B Screenshot -2.png
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:MBT for Event-B Screenshot -2.png</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Um-0007.png&diff=14314
File:Um-0007.png
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:Um-0007.png</p>
<hr />
<div>Import from original Rodin user manual - Overwriting bad images previsouly uploaded</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Extend_Rodin_Tuto_1_4_ProjectExplorer1.png&diff=14315
File:Extend Rodin Tuto 1 4 ProjectExplorer1.png
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:Extend Rodin Tuto 1 4 ProjectExplorer1.png</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Set-hypSel0_1-INV-sel.png&diff=14316
File:Set-hypSel0 1-INV-sel.png
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:Set-hypSel0 1-INV-sel.png</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Share_event_machine.jpeg&diff=14317
File:Share event machine.jpeg
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:Share event machine.jpeg</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Syntax2.svg&diff=14318
File:Syntax2.svg
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:Syntax2.svg</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Install_new_software.png&diff=14319
File:Install new software.png
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:Install new software.png</p>
<hr />
<div>Shows how to begin the SMT Solvers Plug-in installation process.</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Um-0006.png&diff=14320
File:Um-0006.png
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:Um-0006.png</p>
<hr />
<div>Import from original Rodin user manual - Overwriting bad images previsouly uploaded</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:SelectNewProjectType.jpg&diff=14321
File:SelectNewProjectType.jpg
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:SelectNewProjectType.jpg</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Machine_related_renaming.png&diff=14322
File:Machine related renaming.png
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:Machine related renaming.png</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Rodin2010-abs-turcanu.pdf&diff=14323
File:Rodin2010-abs-turcanu.pdf
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:Rodin2010-abs-turcanu.pdf</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:A_Rodin_Plug-in_for_Constructing_Reusable_Schematic_Lemmas.pdf&diff=14324
File:A Rodin Plug-in for Constructing Reusable Schematic Lemmas.pdf
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:A Rodin Plug-in for Constructing Reusable Schematic Lemmas.pdf</p>
<hr />
<div>A Rodin plug-in for constructing reusable schematic lemmas (slides)</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:MaxhoursConstant.jpg&diff=14325
File:MaxhoursConstant.jpg
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:MaxhoursConstant.jpg</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Um-0089.png&diff=14326
File:Um-0089.png
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:Um-0089.png</p>
<hr />
<div>Import from original Rodin user manual - Overwriting bad images previsouly uploaded</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:FunOvrHypAfter1.png&diff=14327
File:FunOvrHypAfter1.png
2020-04-30T20:50:28Z
<p>Maintenance script: Maintenance script uploaded File:FunOvrHypAfter1.png</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:GI_Install.jpg&diff=14298
File:GI Install.jpg
2020-04-30T20:50:27Z
<p>Maintenance script: Maintenance script uploaded File:GI Install.jpg</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Synthesis3.PNG&diff=14299
File:Synthesis3.PNG
2020-04-30T20:50:27Z
<p>Maintenance script: Maintenance script uploaded File:Synthesis3.PNG</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:EMFevent1.gif&diff=14300
File:EMFevent1.gif
2020-04-30T20:50:27Z
<p>Maintenance script: Maintenance script uploaded File:EMFevent1.gif</p>
<hr />
<div>EMF meta-model of an event</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Pattern_machineMatching.jpg&diff=14301
File:Pattern machineMatching.jpg
2020-04-30T20:50:27Z
<p>Maintenance script: Maintenance script uploaded File:Pattern machineMatching.jpg</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Pattern_incorporating.png&diff=14302
File:Pattern incorporating.png
2020-04-30T20:50:27Z
<p>Maintenance script: Maintenance script uploaded File:Pattern incorporating.png</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:IUMLBSM_contextMenu.pdf&diff=14303
File:IUMLBSM contextMenu.pdf
2020-04-30T20:50:27Z
<p>Maintenance script: Maintenance script uploaded File:IUMLBSM contextMenu.pdf</p>
<hr />
<div>showing how to add an iUML-B statemachine</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Um-0052.png&diff=14304
File:Um-0052.png
2020-04-30T20:50:27Z
<p>Maintenance script: Maintenance script uploaded File:Um-0052.png</p>
<hr />
<div>Import from original Rodin user manual - Overwriting bad images previsouly uploaded</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:DecompositionPlug-in_logo.png&diff=14305
File:DecompositionPlug-in logo.png
2020-04-30T20:50:27Z
<p>Maintenance script: Maintenance script uploaded File:DecompositionPlug-in logo.png</p>
<hr />
<div>The logo of the decomposition plug-in.</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Step1.png&diff=14306
File:Step1.png
2020-04-30T20:50:27Z
<p>Maintenance script: Maintenance script uploaded File:Step1.png</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:SluiceController.png&diff=14307
File:SluiceController.png
2020-04-30T20:50:27Z
<p>Maintenance script: Maintenance script uploaded File:SluiceController.png</p>
<hr />
<div>General diagram for the sluice controller example</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:ImpE2_prover.gif&diff=14308
File:ImpE2 prover.gif
2020-04-30T20:50:27Z
<p>Maintenance script: Maintenance script uploaded File:ImpE2 prover.gif</p>
<hr />
<div>Import of icon /home/clabaut/workspace/org.eventb.ui/icons/full/ctool16/impE2_prover.gif<br />
<br />
[[Category:Icon]]</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Run_As_EclipseApp.png&diff=14309
File:Run As EclipseApp.png
2020-04-30T20:50:27Z
<p>Maintenance script: Maintenance script uploaded File:Run As EclipseApp.png</p>
<hr />
<div>Shows how to run the Rodin Plateform using its sources within the Eclipse Platform.</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Um-0147.png&diff=14310
File:Um-0147.png
2020-04-30T20:50:27Z
<p>Maintenance script: Maintenance script uploaded File:Um-0147.png</p>
<hr />
<div>Import from original Rodin user manual - Overwriting bad images previsouly uploaded</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Interface_po.png&diff=14311
File:Interface po.png
2020-04-30T20:50:27Z
<p>Maintenance script: Maintenance script uploaded File:Interface po.png</p>
<hr />
<div>Interface proof obligations as they appear in the project explorer.</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:EMFcore1abstract.gif&diff=14312
File:EMFcore1abstract.gif
2020-04-30T20:50:27Z
<p>Maintenance script: Maintenance script uploaded File:EMFcore1abstract.gif</p>
<hr />
<div>main abstract metaclass structure</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:AnimB.png&diff=14286
File:AnimB.png
2020-04-30T20:50:26Z
<p>Maintenance script: Maintenance script uploaded File:AnimB.png</p>
<hr />
<div>AnimB logo</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:CreatePersonConstructor.jpg&diff=14287
File:CreatePersonConstructor.jpg
2020-04-30T20:50:26Z
<p>Maintenance script: Maintenance script uploaded File:CreatePersonConstructor.jpg</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:ProdSum.pdf&diff=14288
File:ProdSum.pdf
2020-04-30T20:50:26Z
<p>Maintenance script: Maintenance script uploaded File:ProdSum.pdf</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Sotan-workshop.pdf&diff=14289
File:Sotan-workshop.pdf
2020-04-30T20:50:26Z
<p>Maintenance script: Maintenance script uploaded File:Sotan-workshop.pdf</p>
<hr />
<div></div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Atm_sm.init.set1.png&diff=14290
File:Atm sm.init.set1.png
2020-04-30T20:50:26Z
<p>Maintenance script: Maintenance script uploaded File:Atm sm.init.set1.png</p>
<hr />
<div>Create C_SET1</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:RODIN_keyboard_view.jpg&diff=14291
File:RODIN keyboard view.jpg
2020-04-30T20:50:26Z
<p>Maintenance script: Maintenance script uploaded File:RODIN keyboard view.jpg</p>
<hr />
<div>RODIN Keyboard View</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Rodin_selection_checkout.png&diff=14292
File:Rodin selection checkout.png
2020-04-30T20:50:26Z
<p>Maintenance script: Maintenance script uploaded File:Rodin selection checkout.png</p>
<hr />
<div>Set of projects needed to be dowloaded to get the Rodin Platform Sources into Eclipse.</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:CompFile_cm11_cmp.png&diff=14293
File:CompFile cm11 cmp.png
2020-04-30T20:50:26Z
<p>Maintenance script: Maintenance script uploaded File:CompFile cm11 cmp.png</p>
<hr />
<div>Composition file pretty print</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Envir1Impl.pdf&diff=14294
File:Envir1Impl.pdf
2020-04-30T20:50:26Z
<p>Maintenance script: Maintenance script uploaded File:Envir1Impl.pdf</p>
<hr />
<div>Tasking Event-B: environ machine for the heating controller tutorial.</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Atm_sm.insert_card.png&diff=14295
File:Atm sm.insert card.png
2020-04-30T20:50:26Z
<p>Maintenance script: Maintenance script uploaded File:Atm sm.insert card.png</p>
<hr />
<div>Insert card</div>
Maintenance script
https://wiki.event-b.org/index.php?title=File:Rodin-workshop-slides.pdf&diff=14296
File:Rodin-workshop-slides.pdf
2020-04-30T20:50:26Z
<p>Maintenance script: Maintenance script uploaded File:Rodin-workshop-slides.pdf</p>
<hr />
<div>Talk on EventB courses taken by second year undergraduate Software Engineering students at UNSW, Sydney Australia.<br />
<br />
Slide version</div>
Maintenance script