Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 16:38 2 nov 2017 (dif | hist) . . (0) . . m Relación 1 (Protegió «Relación 1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 10:06 2 nov 2017 (dif | hist) . . (+336) . . N Colaboraciones (Página creada con '=== Colaboraciones en la relación 1 === <source lang="text"> | 11 | rafferrod | | 11 | rafcabgon | | 11 | luicedval | | 11 | edupalhid | | 11 | diwu2 | | 1...')
- 09:58 2 nov 2017 (dif | hist) . . (+3) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 09:57 2 nov 2017 (dif | hist) . . (+73) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 09:56 2 nov 2017 (dif | hist) . . (0) . . m Relación 1 (Desprotegió «Relación 1»)
- 09:55 2 nov 2017 (dif | hist) . . (+180) . . Relación 1
- 09:43 2 nov 2017 (dif | hist) . . (0) . . m Relación 1 (Protegió «Relación 1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:26 1 nov 2017 (dif | hist) . . (+3521) . . N Relación 2 (Página creada con '<source lang="isar"> chapter {* R2: Razonamiento sobre programas en Isabelle/HOL *} theory R2_Razonamiento_automatico_sobre_programas imports Main begin declare [[names_short...')
- 12:25 1 nov 2017 (dif | hist) . . (0) . . m R2 (Protegió «R2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:25 1 nov 2017 (dif | hist) . . (+3521) . . N R2 (Página creada con '<source lang="isar"> chapter {* R2: Razonamiento sobre programas en Isabelle/HOL *} theory R2_Razonamiento_automatico_sobre_programas imports Main begin declare [[names_short...')
- 12:21 1 nov 2017 (dif | hist) . . (0) . . Ejercicios
- 12:20 1 nov 2017 (dif | hist) . . (+13 934) . . N Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (Página creada con '<source lang="isar"> chapter {* Tema 2: Razonamiento automático sobre programas en Isabelle/HOL *} theory T2b_Razonamiento_automatico_sobre_programas_en_IsabelleHOL imports Ma...')
- 12:10 1 nov 2017 (dif | hist) . . (0) . . Temas
- 08:34 29 oct 2017 (dif | hist) . . (+2) . . Relación 1
- 08:33 29 oct 2017 (dif | hist) . . (-1) . . Relación 1
- 08:13 29 oct 2017 (dif | hist) . . (-11) . . Relación 1
- 20:03 26 oct 2017 (dif | hist) . . (0) . . m Ejercicios (Protegió «Ejercicios» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:03 26 oct 2017 (dif | hist) . . (0) . . m Tema 1: Programación funcional en Isabelle (Protegió «Tema 1: Programación funcional en Isabelle» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:02 26 oct 2017 (dif | hist) . . (0) . . m Temas (Cambió el nivel de protección de «Temas» ([edit=sysop] (indefinido) [move=sysop] (indefinido)) [en cascada])
- 20:02 26 oct 2017 (dif | hist) . . (0) . . m Temas (Protegió «Temas» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 17:16 26 oct 2017 (dif | hist) . . (+47) . . Relación 1
- 07:59 26 oct 2017 (dif | hist) . . (+5172) . . N Relación 1 (Página creada con '<source lang="isar"> chapter {* R1: Programación funcional en Isabelle *} theory R1_Programacion_funcional_en_Isabelle imports Main begin text {* ---------------------------...')
- 07:59 26 oct 2017 (dif | hist) . . (0) . . m R1 (Protegió «R1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 07:58 26 oct 2017 (dif | hist) . . (+5172) . . N R1 (Página creada con '<source lang="isar"> chapter {* R1: Programación funcional en Isabelle *} theory R1_Programacion_funcional_en_Isabelle imports Main begin text {* ---------------------------...')
- 07:57 26 oct 2017 (dif | hist) . . (+1) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 07:44 26 oct 2017 (dif | hist) . . (+9006) . . N Tema 1: Programación funcional en Isabelle (Página creada con '<source lang="isar"> chapter {* Tema 1: Programación funcional en Isabelle *} theory T1_Programacion_funcional_en_Isabelle imports Main begin section {* Introducción *} te...')
- 07:43 26 oct 2017 (dif | hist) . . (+1) . . Temas
- 07:17 26 oct 2017 (dif | hist) . . (-48) . . MediaWiki:Sidebar (edición actual)
- 12:35 22 oct 2017 (dif | hist) . . (+84) . . Sistemas (→Sistemas utilizados en Razonamiento automático (2017-18))
- 16:14 19 oct 2017 (dif | hist) . . (-65) . . Razonamiento automático (2017-18)
- 19:49 18 oct 2017 (dif | hist) . . (+1393) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 19:47 18 oct 2017 (dif | hist) . . (+1653) . . Temas (→Temas de Razonamiento automático (2017-18))
- 07:44 17 sep 2017 (dif | hist) . . (+223) . . Sistemas
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).