https://wiki.event-b.org/index.php?action=history&feed=atom&title=File%3AUm-0052.png 2026-04-13T22:37:05Z Revision history for this page on the wiki MediaWiki 1.42.1 https://wiki.event-b.org/index.php?title=File:Um-0052.png&diff=14304&oldid=prev 2020-04-30T20:50:27Z

<p>Maintenance script uploaded <a href="/index.php/File:Um-0052.png" title="File:Um-0052.png">File:Um-0052.png</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="en-GB"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 20:50, 30 April 2020</td> </tr><tr><td colspan="2" class="diff-notice" lang="en-GB"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

Maintenance script https://wiki.event-b.org/index.php?title=File:Um-0052.png&diff=12400&oldid=prev 2009-05-14T09:53:54Z

<p>uploaded a new version of &quot;<a href="/index.php/File:Um-0052.png" title="File:Um-0052.png">Image:Um-0052.png</a>&quot;: Machines subsequent to &quot;Theorems everywhere&quot; revision do not have a &quot;THEOREM&quot; section anymore.</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="en-GB"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 09:53, 14 May 2009</td> </tr><tr><td colspan="2" class="diff-notice" lang="en-GB"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

imported>Nicolas https://wiki.event-b.org/index.php?title=File:Um-0052.png&diff=12399&oldid=prev 2008-07-06T14:54:28Z

<p>Import from original Rodin user manual - Overwriting bad images previsouly uploaded</p> <p><b>New page</b></p><div>Import from original Rodin user manual - Overwriting bad images previsouly uploaded</div>

imported>Mathieu