https://entropia.de/index.php?title=Datei:AgdaTalk.pdf&feed=atom&action=history
Datei:AgdaTalk.pdf - Versionsgeschichte
2024-03-29T09:55:16Z
Versionsgeschichte dieser Seite in Entropia
MediaWiki 1.39.6
https://entropia.de/index.php?title=Datei:AgdaTalk.pdf&diff=35669&oldid=prev
XenoBot: Kategorien aus der Dose.
2015-06-16T21:31:13Z
<p>Kategorien aus der Dose.</p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="de">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 16. Juni 2015, 22:31 Uhr</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Zeile 1:</td>
<td colspan="2" class="diff-lineno">Zeile 1:</td></tr>
<tr><td class="diff-marker"></td><td style="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;"><div>Vortrags-Tansskript zu [[GPN12:Agda - Mit starken Typen abhängen]]</div></td><td class="diff-marker"></td><td style="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;"><div>Vortrags-Tansskript zu [[GPN12:Agda - Mit starken Typen abhängen]]</div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="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;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="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;"><div><ins style="font-weight: bold; text-decoration: none;">[[Kategorie:GPN12]]</ins></div></td></tr>
</table>
XenoBot
https://entropia.de/index.php?title=Datei:AgdaTalk.pdf&diff=24792&oldid=prev
Nomeata am 7. Juni 2012 um 21:45 Uhr
2012-06-07T21:45:27Z
<p></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="de">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 7. Juni 2012, 22:45 Uhr</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Zeile 1:</td>
<td colspan="2" class="diff-lineno">Zeile 1:</td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="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;"><div>Vortrags-Tansskript</div></td><td class="diff-marker" data-marker="+"></td><td style="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;"><div>Vortrags-Tansskript <ins style="font-weight: bold; text-decoration: none;">zu [[GPN12:Agda - Mit starken Typen abhängen]]</ins></div></td></tr>
</table>
Nomeata
https://entropia.de/index.php?title=Datei:AgdaTalk.pdf&diff=24791&oldid=prev
Nomeata: Vortrags-Tansskript
2012-06-07T21:45:06Z
<p>Vortrags-Tansskript</p>
<p><b>Neue Seite</b></p><div>Vortrags-Tansskript</div>
Nomeata