Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 13:00 15 jul 2018 (dif | hist) . . (-2) . . Tema 5 (edición actual)
- 12:59 15 jul 2018 (dif | hist) . . (-2) . . Tema 4 (edición actual)
- 12:57 15 jul 2018 (dif | hist) . . (-2) . . Tema 3 (edición actual)
- 12:57 15 jul 2018 (dif | hist) . . (-2) . . Tema 2 (edición actual)
- 12:56 15 jul 2018 (dif | hist) . . (-2) . . Tema 1 (edición actual)
- 12:54 15 jul 2018 (dif | hist) . . (+282) . . N SLC2018: Seminario de Lógica Computacional (2018) (Página creada con «== Material para el seminario == * Temas: Teorías de los temas (incluyendo los ejercicios). * Documentación: Lecturas recomendadas. * Sistemas: Sistemas utili…») (edición actual)
- 12:51 15 jul 2018 (dif | hist) . . (+145) . . N MediaWiki:Common.css (Página creada con «→Los estilos CSS colocados aquí se aplicarán a todas las apariencias: @import url("/~jalonso/font-awesome-4.7.0/css/font-awesome.min.css");») (edición actual)
- 11:12 6 may 2018 (dif | hist) . . (-8) . . Temas (→Temas de Seminario de lógica computacional (2018)) (edición actual)
- 11:10 6 may 2018 (dif | hist) . . (-10) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:08 6 may 2018 (dif | hist) . . (+281) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:00 6 may 2018 (dif | hist) . . (+25 982) . . N Tema 5 (Página creada con '<source lang="ocaml"> (* T5: Tácticas básicas *) Require Export T4_PolimorfismoyOS. (* ===================================================================== § La táctic...')
- 10:59 6 may 2018 (dif | hist) . . (+54) . . Temas
- 14:37 3 may 2018 (dif | hist) . . (+126) . . Tema 4
- 00:12 3 may 2018 (dif | hist) . . (-10) . . Tema 4
- 00:10 3 may 2018 (dif | hist) . . (+39 775) . . N Tema 4 (Página creada con '<source lang="ocaml"> (* T4: Polimorfismo y funciones deo orden superior en Coq *) Require Export T3_Listas. (* ===============================================================...')
- 21:18 2 may 2018 (dif | hist) . . (-56) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 21:16 2 may 2018 (dif | hist) . . (+118) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 19:31 11 abr 2018 (dif | hist) . . (+32) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 08:35 8 abr 2018 (dif | hist) . . (+129) . . Sistemas (→Sistemas) (edición actual)
- 13:42 5 abr 2018 (dif | hist) . . (+122) . . Sistemas (→Sistemas)
- 13:39 5 abr 2018 (dif | hist) . . (+69) . . Documentación (edición actual)
- 13:37 5 abr 2018 (dif | hist) . . (+320) . . Temas
- 11:27 25 mar 2018 (dif | hist) . . (0) . . N Archivo:T3 Listas.v (edición actual)
- 11:26 25 mar 2018 (dif | hist) . . (0) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:26 25 mar 2018 (dif | hist) . . (0) . . N Archivo:T2 Induccion.v (edición actual)
- 11:26 25 mar 2018 (dif | hist) . . (-425) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:22 25 mar 2018 (dif | hist) . . (0) . . N Archivo:T1 PF en Coq.v (edición actual)
- 11:18 25 mar 2018 (dif | hist) . . (+9) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:18 25 mar 2018 (dif | hist) . . (-8) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:17 25 mar 2018 (dif | hist) . . (+6) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:16 25 mar 2018 (dif | hist) . . (-13) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:15 25 mar 2018 (dif | hist) . . (+1) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:15 25 mar 2018 (dif | hist) . . (+41) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:10 25 mar 2018 (dif | hist) . . (+14) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 10:53 25 mar 2018 (dif | hist) . . (+68) . . Tema 3
- 10:40 25 mar 2018 (dif | hist) . . (+2) . . Tema 3
- 10:34 25 mar 2018 (dif | hist) . . (0) . . m Temas (Protegió «Temas» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 10:34 25 mar 2018 (dif | hist) . . (0) . . m Tema 2 (Protegió «Tema 2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 10:33 25 mar 2018 (dif | hist) . . (0) . . m Tema 1 (Protegió «Tema 1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:52 24 mar 2018 (dif | hist) . . (+28) . . Seminario de Lógica Computacional (2018):Seminario de Lógica Computacional (2018) (→Material para el seminario) (edición actual)
- 12:52 24 mar 2018 (dif | hist) . . (-44) . . Seminario de Lógica Computacional (2018):Seminario de Lógica Computacional (2018)
- 12:51 24 mar 2018 (dif | hist) . . (-25) . . MediaWiki:Sidebar (edición actual)
- 12:51 24 mar 2018 (dif | hist) . . (-75) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 12:50 24 mar 2018 (dif | hist) . . (+3238) . . Tema 2
- 12:31 24 mar 2018 (dif | hist) . . (-75) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 12:21 24 mar 2018 (dif | hist) . . (+5012) . . Tema 1
- 12:12 24 mar 2018 (dif | hist) . . (-4) . . Temas
- 16:16 22 mar 2018 (dif | hist) . . (+24) . . Temas
- 09:22 22 mar 2018 (dif | hist) . . (+24) . . Temas
- 08:54 22 mar 2018 (dif | hist) . . (+9966) . . Tema 3
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).