Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 12:00 15 jul 2018 (dif | hist) . . (-2) . . Tema 5 (edición actual)
- 11:59 15 jul 2018 (dif | hist) . . (-2) . . Tema 4 (edición actual)
- 11:57 15 jul 2018 (dif | hist) . . (-2) . . Tema 3 (edición actual)
- 11:57 15 jul 2018 (dif | hist) . . (-2) . . Tema 2 (edición actual)
- 11:56 15 jul 2018 (dif | hist) . . (-2) . . Tema 1 (edición actual)
- 11: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)
- 11: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)
- 10:12 6 may 2018 (dif | hist) . . (-8) . . Temas (→Temas de Seminario de lógica computacional (2018)) (edición actual)
- 10:10 6 may 2018 (dif | hist) . . (-10) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 10:08 6 may 2018 (dif | hist) . . (+281) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 10: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...')
- 09:59 6 may 2018 (dif | hist) . . (+54) . . Temas
- 13:37 3 may 2018 (dif | hist) . . (+126) . . Tema 4
- 23:12 2 may 2018 (dif | hist) . . (-10) . . Tema 4
- 23:10 2 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. (* ===============================================================...')
- 20:18 2 may 2018 (dif | hist) . . (-56) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 20:16 2 may 2018 (dif | hist) . . (+118) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 18:31 11 abr 2018 (dif | hist) . . (+32) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 07:35 8 abr 2018 (dif | hist) . . (+129) . . Sistemas (→Sistemas) (edición actual)
- 12:42 5 abr 2018 (dif | hist) . . (+122) . . Sistemas (→Sistemas)
- 12:39 5 abr 2018 (dif | hist) . . (+69) . . Documentación (edición actual)
- 12:37 5 abr 2018 (dif | hist) . . (+320) . . Temas
- 10:27 25 mar 2018 (dif | hist) . . (0) . . N Archivo:T3 Listas.v (edición actual)
- 10:26 25 mar 2018 (dif | hist) . . (0) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 10:26 25 mar 2018 (dif | hist) . . (0) . . N Archivo:T2 Induccion.v (edición actual)
- 10:26 25 mar 2018 (dif | hist) . . (-425) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 10:22 25 mar 2018 (dif | hist) . . (0) . . N Archivo:T1 PF en Coq.v (edición actual)
- 10:18 25 mar 2018 (dif | hist) . . (+9) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 10:18 25 mar 2018 (dif | hist) . . (-8) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 10:17 25 mar 2018 (dif | hist) . . (+6) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 10:16 25 mar 2018 (dif | hist) . . (-13) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 10:15 25 mar 2018 (dif | hist) . . (+1) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 10:15 25 mar 2018 (dif | hist) . . (+41) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 10:10 25 mar 2018 (dif | hist) . . (+14) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 09:53 25 mar 2018 (dif | hist) . . (+68) . . Tema 3
- 09:40 25 mar 2018 (dif | hist) . . (+2) . . Tema 3
- 09:34 25 mar 2018 (dif | hist) . . (0) . . m Temas (Protegió «Temas» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 09:34 25 mar 2018 (dif | hist) . . (0) . . m Tema 2 (Protegió «Tema 2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 09:33 25 mar 2018 (dif | hist) . . (0) . . m Tema 1 (Protegió «Tema 1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 11: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)
- 11:52 24 mar 2018 (dif | hist) . . (-44) . . Seminario de Lógica Computacional (2018):Seminario de Lógica Computacional (2018)
- 11:51 24 mar 2018 (dif | hist) . . (-25) . . MediaWiki:Sidebar (edición actual)
- 11:51 24 mar 2018 (dif | hist) . . (-75) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:50 24 mar 2018 (dif | hist) . . (+3238) . . Tema 2
- 11:31 24 mar 2018 (dif | hist) . . (-75) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:21 24 mar 2018 (dif | hist) . . (+5012) . . Tema 1
- 11:12 24 mar 2018 (dif | hist) . . (-4) . . Temas
- 15:16 22 mar 2018 (dif | hist) . . (+24) . . Temas
- 08:22 22 mar 2018 (dif | hist) . . (+24) . . Temas
- 07:54 22 mar 2018 (dif | hist) . . (+9966) . . Tema 3
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).