https://www.glc.us.es/~jalonso/SLC2018/index.php?action=history&feed=atom&title=Tema_1 2026-07-18T05:56:48Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.0 https://www.glc.us.es/~jalonso/SLC2018/index.php?title=Tema_1&diff=119&oldid=prev 2018-07-15T10:56:42Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="es"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 10:56 15 jul 2018</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Línea 1:</td> <td colspan="2" class="diff-lineno">Línea 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; 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>&lt;source lang=&quot;<del class="diffchange diffchange-inline">ocaml</del>&quot;&gt;</div></td><td class='diff-marker'>+</td><td style="color: #222; 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>&lt;source lang=&quot;<ins class="diffchange diffchange-inline">coq</ins>&quot;&gt;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; 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>(* T1: Programación funcional en Coq *)</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; 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>(* T1: Programación funcional en Coq *)</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; 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;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; 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;"></td></tr> </table>

Jalonso https://www.glc.us.es/~jalonso/SLC2018/index.php?title=Tema_1&diff=80&oldid=prev 2018-03-25T08:33:47Z

<p>Protegió «<a href="/~jalonso/SLC2018/index.php/Tema_1" title="Tema 1">Tema 1</a>» ([edit=sysop] (indefinido) [move=sysop] (indefinido))</p> <table class="diff diff-contentalign-left" data-mw="interface"> <tr class="diff-title" lang="es"> <td colspan="1" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td> <td colspan="1" style="background-color: #fff; color: #222; text-align: center;">Revisión del 08:33 25 mar 2018</td> </tr><tr><td colspan="2" class="diff-notice" lang="es"><div class="mw-diff-empty">(Sin diferencias)</div> </td></tr></table>

Jalonso https://www.glc.us.es/~jalonso/SLC2018/index.php?title=Tema_1&diff=73&oldid=prev 2018-03-24T10:21:37Z

<p></p> <a href="https://www.glc.us.es/~jalonso/SLC2018/index.php?title=Tema_1&amp;diff=73&amp;oldid=44">Mostrar los cambios</a>

Jalonso https://www.glc.us.es/~jalonso/SLC2018/index.php?title=Tema_1&diff=44&oldid=prev 2018-02-27T16:59:38Z

<p></p> <a href="https://www.glc.us.es/~jalonso/SLC2018/index.php?title=Tema_1&amp;diff=44&amp;oldid=43">Mostrar los cambios</a>

Jalonso https://www.glc.us.es/~jalonso/SLC2018/index.php?title=Tema_1&diff=43&oldid=prev 2018-02-27T08:39:14Z

<p></p> <a href="https://www.glc.us.es/~jalonso/SLC2018/index.php?title=Tema_1&amp;diff=43&amp;oldid=42">Mostrar los cambios</a>

Jalonso https://www.glc.us.es/~jalonso/SLC2018/index.php?title=Tema_1&diff=42&oldid=prev 2018-02-26T16:45:37Z

<p>Página creada con &#039;Esta página está preparada para incluir la exposición del Tema 1.&#039;</p> <p><b>Página nueva</b></p><div>Esta página está preparada para incluir la exposición del Tema 1.</div>

Jalonso