<?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=Template%3ANavigation</id>
	<title>Template:Navigation - 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=Template%3ANavigation"/>
	<link rel="alternate" type="text/html" href="https://wiki.event-b.org/index.php?title=Template:Navigation&amp;action=history"/>
	<updated>2026-05-12T22:59:15Z</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=Template:Navigation&amp;diff=13147&amp;oldid=prev</id>
		<title>imported&gt;Mathieu: cat</title>
		<link rel="alternate" type="text/html" href="https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13147&amp;oldid=prev"/>
		<updated>2008-09-11T12:59:22Z</updated>

		<summary type="html">&lt;p&gt;cat&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en-GB&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 12:59, 11 September 2008&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l34&quot;&gt;Line 34:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 34:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;[[Category:Utility templates]]&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&amp;quot;navigation&amp;quot;&amp;gt;&amp;lt;table  border=&amp;quot;2&amp;quot; cellspacing=&amp;quot;4&amp;quot; cellpadding=&amp;quot;3&amp;quot; rules=&amp;quot;all&amp;quot;  style=&amp;quot;border:2px solid #999999; margin:1em 1em 1em 0; &amp;quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&amp;quot;vertical-align:sub;&amp;quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&amp;quot;vertical-align:sub;&amp;quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&amp;quot;vertical-align:sub;&amp;quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&amp;quot;navigation&amp;quot;&amp;gt;&amp;lt;table  border=&amp;quot;2&amp;quot; cellspacing=&amp;quot;4&amp;quot; cellpadding=&amp;quot;3&amp;quot; rules=&amp;quot;all&amp;quot;  style=&amp;quot;border:2px solid #999999; margin:1em 1em 1em 0; &amp;quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&amp;quot;vertical-align:sub;&amp;quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&amp;quot;vertical-align:sub;&amp;quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&amp;quot;vertical-align:sub;&amp;quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>imported&gt;Mathieu</name></author>
	</entry>
	<entry>
		<id>https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13146&amp;oldid=prev</id>
		<title>imported&gt;Mathieu at 19:40, 9 September 2008</title>
		<link rel="alternate" type="text/html" href="https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13146&amp;oldid=prev"/>
		<updated>2008-09-09T19:40:36Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en-GB&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 19:40, 9 September 2008&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l35&quot;&gt;Line 35:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 35:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table  border=&quot;2&quot; cellspacing=&quot;4&quot; cellpadding=&quot;3&quot; rules=&quot;all&quot;  style=&quot;border:2px solid #999999; margin:1em 1em 1em 0; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;{{TOCright}}&lt;/del&gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table  border=&quot;2&quot; cellspacing=&quot;4&quot; cellpadding=&quot;3&quot; rules=&quot;all&quot;  style=&quot;border:2px solid #999999; margin:1em 1em 1em 0; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>imported&gt;Mathieu</name></author>
	</entry>
	<entry>
		<id>https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13145&amp;oldid=prev</id>
		<title>imported&gt;Mathieu at 19:39, 9 September 2008</title>
		<link rel="alternate" type="text/html" href="https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13145&amp;oldid=prev"/>
		<updated>2008-09-09T19:39:07Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en-GB&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 19:39, 9 September 2008&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l35&quot;&gt;Line 35:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 35:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table  border=&quot;2&quot; cellspacing=&quot;4&quot; cellpadding=&quot;3&quot; rules=&quot;all&quot;  style=&quot;border:2px solid #999999; margin:1em 1em 1em 0; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table  border=&quot;2&quot; cellspacing=&quot;4&quot; cellpadding=&quot;3&quot; rules=&quot;all&quot;  style=&quot;border:2px solid #999999; margin:1em 1em 1em 0; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;{{TOCright}}&lt;/ins&gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>imported&gt;Mathieu</name></author>
	</entry>
	<entry>
		<id>https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13144&amp;oldid=prev</id>
		<title>imported&gt;Mathieu at 15:47, 1 September 2008</title>
		<link rel="alternate" type="text/html" href="https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13144&amp;oldid=prev"/>
		<updated>2008-09-01T15:47:26Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en-GB&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 15:47, 1 September 2008&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l35&quot;&gt;Line 35:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 35:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table  &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;width=&quot;25%&quot; &lt;/del&gt;border=&quot;2&quot; cellspacing=&quot;4&quot; cellpadding=&quot;3&quot;  style=&quot;border:2px solid #999999; margin:1em 1em 1em 0; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table  border=&quot;2&quot; cellspacing=&quot;4&quot; cellpadding=&quot;3&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&quot; rules=&quot;all&lt;/ins&gt;&quot;  style=&quot;border:2px solid #999999; margin:1em 1em 1em 0; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>imported&gt;Mathieu</name></author>
	</entry>
	<entry>
		<id>https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13143&amp;oldid=prev</id>
		<title>imported&gt;Mathieu at 15:46, 1 September 2008</title>
		<link rel="alternate" type="text/html" href="https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13143&amp;oldid=prev"/>
		<updated>2008-09-01T15:46:42Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en-GB&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 15:46, 1 September 2008&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l35&quot;&gt;Line 35:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 35:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table  width=&quot;25%&quot; border=&quot;2&quot; cellspacing=&quot;4&quot; cellpadding=&quot;3&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&quot; rules=&quot;all&lt;/del&gt;&quot;  style=&quot;border:2px solid #999999; margin:1em 1em 1em 0; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table  width=&quot;25%&quot; border=&quot;2&quot; cellspacing=&quot;4&quot; cellpadding=&quot;3&quot;  style=&quot;border:2px solid #999999; margin:1em 1em 1em 0; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>imported&gt;Mathieu</name></author>
	</entry>
	<entry>
		<id>https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13142&amp;oldid=prev</id>
		<title>imported&gt;Mathieu at 15:46, 1 September 2008</title>
		<link rel="alternate" type="text/html" href="https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13142&amp;oldid=prev"/>
		<updated>2008-09-01T15:46:14Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en-GB&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 15:46, 1 September 2008&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l35&quot;&gt;Line 35:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 35:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table  width=&quot;25%&quot; border=&quot;2&quot; cellspacing=&quot;4&quot; cellpadding=&quot;3&quot; rules=&quot;all&quot;  style=&quot;border:2px solid #999999; margin:1em 1em 1em 0&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;; display:inline&lt;/del&gt;; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table  width=&quot;25%&quot; border=&quot;2&quot; cellspacing=&quot;4&quot; cellpadding=&quot;3&quot; rules=&quot;all&quot;  style=&quot;border:2px solid #999999; margin:1em 1em 1em 0; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>imported&gt;Mathieu</name></author>
	</entry>
	<entry>
		<id>https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13141&amp;oldid=prev</id>
		<title>imported&gt;Mathieu at 15:45, 1 September 2008</title>
		<link rel="alternate" type="text/html" href="https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13141&amp;oldid=prev"/>
		<updated>2008-09-01T15:45:43Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en-GB&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 15:45, 1 September 2008&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l35&quot;&gt;Line 35:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 35:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table border=&quot;2&quot; cellspacing=&quot;4&quot; cellpadding=&quot;3&quot; rules=&quot;all&quot;  style=&quot;border:2px solid #999999; margin:1em 1em 1em 0; display:inline; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt; width=&quot;25%&quot; &lt;/ins&gt;border=&quot;2&quot; cellspacing=&quot;4&quot; cellpadding=&quot;3&quot; rules=&quot;all&quot;  style=&quot;border:2px solid #999999; margin:1em 1em 1em 0; display:inline; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>imported&gt;Mathieu</name></author>
	</entry>
	<entry>
		<id>https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13140&amp;oldid=prev</id>
		<title>imported&gt;Mathieu at 15:44, 1 September 2008</title>
		<link rel="alternate" type="text/html" href="https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13140&amp;oldid=prev"/>
		<updated>2008-09-01T15:44:39Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en-GB&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 15:44, 1 September 2008&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l35&quot;&gt;Line 35:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 35:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;style&lt;/del&gt;=&quot;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;border:2px solid #999999; &lt;/del&gt;cellspacing=&quot;4&quot; cellpadding=&quot;3&quot; rules=&quot;all&quot; style=&quot;margin:1em 1em 1em 0; display:inline; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;border&lt;/ins&gt;=&quot;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;2&quot; &lt;/ins&gt;cellspacing=&quot;4&quot; cellpadding=&quot;3&quot; rules=&quot;all&quot; &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt; &lt;/ins&gt;style=&quot;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;border:2px solid #999999; &lt;/ins&gt;margin:1em 1em 1em 0; display:inline; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>imported&gt;Mathieu</name></author>
	</entry>
	<entry>
		<id>https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13139&amp;oldid=prev</id>
		<title>imported&gt;Mathieu at 15:43, 1 September 2008</title>
		<link rel="alternate" type="text/html" href="https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13139&amp;oldid=prev"/>
		<updated>2008-09-01T15:43:45Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en-GB&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 15:43, 1 September 2008&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l35&quot;&gt;Line 35:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 35:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table style=&quot;border:2px solid #999999; display:inline; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table style=&quot;border:2px solid #999999&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;; cellspacing=&quot;4&quot; cellpadding=&quot;3&quot; rules=&quot;all&quot; style=&quot;margin:1em 1em 1em 0&lt;/ins&gt;; display:inline; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; {{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;b&amp;gt;^&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; {{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>imported&gt;Mathieu</name></author>
	</entry>
	<entry>
		<id>https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13138&amp;oldid=prev</id>
		<title>imported&gt;Mathieu at 15:42, 1 September 2008</title>
		<link rel="alternate" type="text/html" href="https://wiki.event-b.org/index.php?title=Template:Navigation&amp;diff=13138&amp;oldid=prev"/>
		<updated>2008-09-01T15:42:22Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en-GB&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 15:42, 1 September 2008&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l35&quot;&gt;Line 35:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 35:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;==Code==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;/noinclude&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table style=&quot;border:2px solid #999999; display:inline; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;{{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;gt;{{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;^{{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;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;&quot;&gt;&lt;div&gt;&amp;lt;includeonly&amp;gt;&amp;lt;div class=&quot;navigation&quot;&amp;gt;&amp;lt;table style=&quot;border:2px solid #999999; display:inline; &quot;&amp;gt;&amp;lt;tr&amp;gt;{{ #if: {{{Previous|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&amp;lt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;b&amp;gt;&amp;lt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;prev:&amp;lt;/small&amp;gt; &lt;/ins&gt;{{{Previous}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Next|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&amp;gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;b&amp;gt;&amp;gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;next:&amp;lt;/small&lt;/ins&gt;&amp;gt; {{{Next}}}&amp;lt;/td&amp;gt; | }} {{ #if: {{{Up|}}} | &amp;lt;td style=&quot;vertical-align:sub;&quot;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;gt;&amp;lt;b&lt;/ins&gt;&amp;gt;^&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/b&amp;gt;&amp;lt;small&amp;gt;up:&amp;lt;/small&amp;gt; &lt;/ins&gt;{{{Up}}}&amp;lt;/td&amp;gt; | }}&amp;lt;/tr&amp;gt;&amp;lt;/table&amp;gt;&amp;lt;/div&amp;gt;&amp;lt;/includeonly&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>imported&gt;Mathieu</name></author>
	</entry>
</feed>