Contribuciones del usuario
Para WikiSysop (discusión | registro de bloqueos | subidas | registros)- 12:55 16 jul 2018 (dif | hist) . . (+4) . . R3 (edición actual)
- 12:55 16 jul 2018 (dif | hist) . . (+4) . . R2 (edición actual)
- 12:54 16 jul 2018 (dif | hist) . . (+4) . . R1 (edición actual)
- 12:54 16 jul 2018 (dif | hist) . . (-597) . . Ejercicios (edición actual)
- 12:53 16 jul 2018 (dif | hist) . . (-516) . . Ejercicios (→Relaciones de ejercicios)
- 12:52 16 jul 2018 (dif | hist) . . (+4) . . Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (edición actual)
- 12:52 16 jul 2018 (dif | hist) . . (+4) . . Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (edición actual)
- 12:51 16 jul 2018 (dif | hist) . . (+4) . . Tema 1: Programación funcional en Isabelle (edición actual)
- 12:51 16 jul 2018 (dif | hist) . . (-41) . . Razonamiento automático (2015-16) (edición actual)
- 12:51 16 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)
- 16:05 24 nov 2015 (dif | hist) . . (0) . . m Relación 1 (Desprotegió «Relación 1»)
- 16:05 24 nov 2015 (dif | hist) . . (0) . . m R1 (Protegió «R1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 16:04 24 nov 2015 (dif | hist) . . (+5729) . . N R1 (Página creada con '<source lang="isar"> header {* R1: Programación funcional en Isabelle *} theory R1 imports Main begin text {* ---------------------------------------------------------------...')
- 16:04 24 nov 2015 (dif | hist) . . (0) . . m Relación 1 (Protegió «Relación 1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 16:04 24 nov 2015 (dif | hist) . . (+5729) . . N Relación 1 (Página creada con '<source lang="isar"> header {* R1: Programación funcional en Isabelle *} theory R1 imports Main begin text {* ---------------------------------------------------------------...')
- 16:03 24 nov 2015 (dif | hist) . . (0) . . m Ejercicios (Protegió «Ejercicios» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 16:03 24 nov 2015 (dif | hist) . . (0) . . Ejercicios
- 08:21 15 oct 2015 (dif | hist) . . (+20 511) . . N Documentación (Página creada con 'En esta página se recogen en enlaces que sirven de documentación al curso de demostración asistida por ordenador (DAO). == Visiones generales de la DAO == # J.A. Alonso. [h...')
- 08:20 15 oct 2015 (dif | hist) . . (+1571) . . N Ejercicios (Página creada con '== Relaciones de ejercicios == En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma colaborativa por los alumnos del curso y no deb...')
- 08:19 15 oct 2015 (dif | hist) . . (+8215) . . N Tema 1: Programación funcional en Isabelle (Página creada con '<source lang="isar"> header {* Tema 1: Programación funcional en Isabelle *} theory T1 imports Main begin section {* Introducción *} text {* En este tema se presenta el le...')
- 08:18 15 oct 2015 (dif | hist) . . (0) . . Temas
- 08:18 15 oct 2015 (dif | hist) . . (+1525) . . N Temas (Página creada con '== Temas de ''Razonamiento automático (2014-15)'' == * Tema 1: Programación funcional en Isabelle. * Tema 2: Razonamiento sobre programas: ** [http://www.cs.us.es/~jalonso...')
- 08:16 15 oct 2015 (dif | hist) . . (+624) . . N Razonamiento automático (2015-16) (Página creada con '== Razonamiento automático (2015-16) == Este sitio contiene materiales del curso ''Razonamiento automático'' del [http://master.cs.us.es/Máster_Universitario_en_Lógica,_Comp...')
- 08:15 15 oct 2015 (dif | hist) . . (+34) . . N MediaWiki:Mainpage (Página creada con 'Razonamiento automático (2015-16)') (edición actual)
- 08:15 15 oct 2015 (dif | hist) . . (0) . . MediaWiki:Sidebar (edición actual)
- 08:14 15 oct 2015 (dif | hist) . . (+245) . . N MediaWiki:Sidebar (Página creada con '* navigation ** mainpage|mainpage-description ** Temas|Temas ** Ejercicios|Ejercicios ** Documentación|Documentación ** http://www.glc.us.es/~jalonso/vestigium/tag/ra2014|Diar...')