https://wiki.event-b.org/api.php?action=feedcontributions&feedformat=atom&user=Maintenance+script 2026-05-04T09:24:55Z User contributions MediaWiki 1.42.1 https://wiki.event-b.org/index.php?title=File:Share_variable_mach_comp1.jpeg&diff=14336 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:GenInst-wizard2.jpg&diff=14335 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:Slides_PereverzevaInna.pdf&diff=14334 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:FontainebleauAccommodation.pdf&diff=14333 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:AllD_prover.gif&diff=14332 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:Step6.png&diff=14331 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:Building_Event-B_Interlocking_Theories_-_Lessons_Learned_using_the_Theory_Plug-in.pdf&diff=14330 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:Rodin_3.2_symbols.gif&diff=14329 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:Step_6_Wiki.png&diff=14328 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:FunOvrHypAfter1.png&diff=14327 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:Um-0089.png&diff=14326 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:MaxhoursConstant.jpg&diff=14325 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:A_Rodin_Plug-in_for_Constructing_Reusable_Schematic_Lemmas.pdf&diff=14324 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:Rodin2010-abs-turcanu.pdf&diff=14323 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:Machine_related_renaming.png&diff=14322 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:SelectNewProjectType.jpg&diff=14321 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:Um-0006.png&diff=14320 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:Install_new_software.png&diff=14319 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:Syntax2.svg&diff=14318 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:Share_event_machine.jpeg&diff=14317 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:Set-hypSel0_1-INV-sel.png&diff=14316 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:Extend_Rodin_Tuto_1_4_ProjectExplorer1.png&diff=14315 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:Um-0007.png&diff=14314 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:MBT_for_Event-B_Screenshot_-2.png&diff=14313 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:EMFcore1abstract.gif&diff=14312 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:Interface_po.png&diff=14311 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:Um-0147.png&diff=14310 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:Run_As_EclipseApp.png&diff=14309 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:ImpE2_prover.gif&diff=14308 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:SluiceController.png&diff=14307 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:Step1.png&diff=14306 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:DecompositionPlug-in_logo.png&diff=14305 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:Um-0052.png&diff=14304 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:IUMLBSM_contextMenu.pdf&diff=14303 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:Pattern_incorporating.png&diff=14302 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:Pattern_machineMatching.jpg&diff=14301 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:EMFevent1.gif&diff=14300 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:Synthesis3.PNG&diff=14299 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:GI_Install.jpg&diff=14298 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:Rodin2010-abs-iliasov_2.pdf&diff=14297 2020-04-30T20:50:26Z

<p>Maintenance script: Maintenance script uploaded File:Rodin2010-abs-iliasov 2.pdf</p> <hr /> <div></div>

Maintenance script https://wiki.event-b.org/index.php?title=File:Rodin-workshop-slides.pdf&diff=14296 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 https://wiki.event-b.org/index.php?title=File:Atm_sm.insert_card.png&diff=14295 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:Envir1Impl.pdf&diff=14294 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:CompFile_cm11_cmp.png&diff=14293 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:Rodin_selection_checkout.png&diff=14292 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:RODIN_keyboard_view.jpg&diff=14291 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:Atm_sm.init.set1.png&diff=14290 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:Sotan-workshop.pdf&diff=14289 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:ProdSum.pdf&diff=14288 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:CreatePersonConstructor.jpg&diff=14287 2020-04-30T20:50:26Z

<p>Maintenance script: Maintenance script uploaded File:CreatePersonConstructor.jpg</p> <hr /> <div></div>

Maintenance script