http://maude.cs.illinois.edu/w/api.php?hidebots=1&days=7&limit=50&action=feedrecentchanges&feedformat=atom
The Maude System - Recent changes [en]
2024-03-19T12:40:52Z
Track the most recent changes to the wiki in this feed.
MediaWiki 1.23.1
http://maude.cs.illinois.edu/w/index.php/File:Maude-3.4-manual-book-examples.zip
File:Maude-3.4-manual-book-examples.zip
2024-03-19T12:09:19Z
<p><a href="/w/index.php?title=User:Malaga&action=edit&redlink=1" class="new mw-userlink" title="User:Malaga (page does not exist)">Malaga</a> uploaded "<a href="/w/index.php/File:Maude-3.4-manual-book-examples.zip" title="File:Maude-3.4-manual-book-examples.zip">File:Maude-3.4-manual-book-examples.zip</a>"</p>
Malaga
http://maude.cs.illinois.edu/w/index.php?title=Maude_Manual_and_Examples&diff=488&oldid=486
Maude Manual and Examples
2024-03-17T20:15:26Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 20:15, 17 March 2024</td>
</tr><tr><td colspan="2" class="diff-lineno">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Manual - Latest Version ==</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Manual - Latest Version ==</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; 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;"><div>The Maude manual for Maude 3.4 is available in [[Media:<del class="diffchange diffchange-inline">Maude34-manual</del>.pdf|PDF format]] and in [http://maude.lcc.uma.es/maude-manual HTML].  </div></td><td class='diff-marker'>+</td><td style="color:black; 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;"><div>The Maude manual for Maude 3.4 is available in [[Media:<ins class="diffchange diffchange-inline">Maude34manual</ins>.pdf|PDF format]] and in [http://maude.lcc.uma.es/maude-manual HTML].  </div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>The source code for the examples used in the manual is also available [[Media:Maude-3.4-manual-book-examples.zip|here]] together with the examples from the Maude book.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>The source code for the examples used in the manual is also available [[Media:Maude-3.4-manual-book-examples.zip|here]] together with the examples from the Maude book.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
</table>
Malaga
http://maude.cs.illinois.edu/w/index.php/File:Maude34manual.pdf
File:Maude34manual.pdf
2024-03-17T20:14:20Z
<p><a href="/w/index.php?title=User:Malaga&action=edit&redlink=1" class="new mw-userlink" title="User:Malaga (page does not exist)">Malaga</a> uploaded "<a href="/w/index.php/File:Maude34manual.pdf" title="File:Maude34manual.pdf">File:Maude34manual.pdf</a>"</p>
Malaga
http://maude.cs.illinois.edu/w/index.php?title=Maude_Manual_and_Examples&diff=486&oldid=463
Maude Manual and Examples
2024-03-17T20:11:28Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 20:11, 17 March 2024</td>
</tr><tr><td colspan='4' style='text-align: center;' class='diff-multi'>(One intermediate revision by the same user not shown)</td></tr><tr><td colspan="2" class="diff-lineno">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Manual - Latest Version ==</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Manual - Latest Version ==</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; 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;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; 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;"><div><ins style="font-weight: bold; text-decoration: none;">The Maude manual for Maude 3.4 is available in [[Media:Maude34-manual.pdf|PDF format]] and in [http://maude.lcc.uma.es/maude-manual HTML]. </ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; 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;"><div><ins style="font-weight: bold; text-decoration: none;">The source code for the examples used in the manual is also available [[Media:Maude-3.4-manual-book-examples.zip|here]] together with the examples from the Maude book.</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>The Maude manual for Maude 3.3.1 is available in [[Media:Maude-3.3.1-manual.pdf|PDF format]] and in [http://maude.lcc.uma.es/maude-manual HTML].  </div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>The Maude manual for Maude 3.3.1 is available in [[Media:Maude-3.3.1-manual.pdf|PDF format]] and in [http://maude.lcc.uma.es/maude-manual HTML].  </div></td></tr>
</table>
Malaga
http://maude.cs.illinois.edu/w/index.php/File:Maude-manual-34.pdf
File:Maude-manual-34.pdf
2024-03-17T20:05:36Z
<p><a href="/w/index.php?title=User:Malaga&action=edit&redlink=1" class="new mw-userlink" title="User:Malaga (page does not exist)">Malaga</a> uploaded "<a href="/w/index.php/File:Maude-manual-34.pdf" title="File:Maude-manual-34.pdf">File:Maude-manual-34.pdf</a>" Maude Manual 3.4</p>
Malaga