<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en-GB">
	<id>https://wiki.event-b.org/index.php?action=history&amp;feed=atom&amp;title=File%3AUm-0039.png</id>
	<title>File:Um-0039.png - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://wiki.event-b.org/index.php?action=history&amp;feed=atom&amp;title=File%3AUm-0039.png"/>
	<link rel="alternate" type="text/html" href="https://wiki.event-b.org/index.php?title=File:Um-0039.png&amp;action=history"/>
	<updated>2026-05-04T13:20:12Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.42.1</generator>
	<entry>
		<id>https://wiki.event-b.org/index.php?title=File:Um-0039.png&amp;diff=14210&amp;oldid=prev</id>
		<title>Maintenance script: Maintenance script uploaded File:Um-0039.png</title>
		<link rel="alternate" type="text/html" href="https://wiki.event-b.org/index.php?title=File:Um-0039.png&amp;diff=14210&amp;oldid=prev"/>
		<updated>2020-04-30T20:50:20Z</updated>

		<summary type="html">&lt;p&gt;Maintenance script uploaded &lt;a href=&quot;/index.php/File:Um-0039.png&quot; title=&quot;File:Um-0039.png&quot;&gt;File:Um-0039.png&lt;/a&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en-GB&quot;&gt;
				&lt;td colspan=&quot;1&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;1&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 20:50, 30 April 2020&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-notice&quot; lang=&quot;en-GB&quot;&gt;&lt;div class=&quot;mw-diff-empty&quot;&gt;(No difference)&lt;/div&gt;
&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;</summary>
		<author><name>Maintenance script</name></author>
	</entry>
	<entry>
		<id>https://wiki.event-b.org/index.php?title=File:Um-0039.png&amp;diff=12387&amp;oldid=prev</id>
		<title>imported&gt;Nicolas: uploaded a new version of &quot;Image:Um-0039.png&quot;: Contexts subsequent to &quot;Theorems everywhere&quot; revision do not have a &quot;THEOREM&quot; section anymore.</title>
		<link rel="alternate" type="text/html" href="https://wiki.event-b.org/index.php?title=File:Um-0039.png&amp;diff=12387&amp;oldid=prev"/>
		<updated>2009-05-14T09:43:37Z</updated>

		<summary type="html">&lt;p&gt;uploaded a new version of &amp;quot;&lt;a href=&quot;/index.php/File:Um-0039.png&quot; title=&quot;File:Um-0039.png&quot;&gt;Image:Um-0039.png&lt;/a&gt;&amp;quot;: Contexts subsequent to &amp;quot;Theorems everywhere&amp;quot; revision do not have a &amp;quot;THEOREM&amp;quot; section anymore.&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en-GB&quot;&gt;
				&lt;td colspan=&quot;1&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;1&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 09:43, 14 May 2009&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-notice&quot; lang=&quot;en-GB&quot;&gt;&lt;div class=&quot;mw-diff-empty&quot;&gt;(No difference)&lt;/div&gt;
&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;</summary>
		<author><name>imported&gt;Nicolas</name></author>
	</entry>
	<entry>
		<id>https://wiki.event-b.org/index.php?title=File:Um-0039.png&amp;diff=12386&amp;oldid=prev</id>
		<title>imported&gt;Mathieu: Import from original Rodin user manual - Overwriting bad images previsouly uploaded</title>
		<link rel="alternate" type="text/html" href="https://wiki.event-b.org/index.php?title=File:Um-0039.png&amp;diff=12386&amp;oldid=prev"/>
		<updated>2008-07-06T14:53:05Z</updated>

		<summary type="html">&lt;p&gt;Import from original Rodin user manual - Overwriting bad images previsouly uploaded&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;Import from original Rodin user manual - Overwriting bad images previsouly uploaded&lt;/div&gt;</summary>
		<author><name>imported&gt;Mathieu</name></author>
	</entry>
</feed>