Vista combinada de todos los registros de Razonamiento automático (2013-14). Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.

• 08:33 14 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 86 de la página Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL como verificada
• 08:30 14 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 85 de la página Temas como verificada
• 08:30 14 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 84 de la página Temas como verificada
• 08:30 14 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 83 de la página Temas como verificada
• 18:53 9 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 55 de la página Relación 1 como verificada
• 18:50 9 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 54 de la página Relación 1 como verificada
• 18:45 9 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 53 de la página Relación 1 como verificada
• 18:37 9 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 51 de la página R1 como verificada
• 18:35 9 nov 2013 Jalonso (discusión | contribuciones) protegió la página R1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:43 9 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 44 de la página R1 como verificada
• 08:42 9 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 43 de la página R1 como verificada
• 08:34 9 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 42 de la página Relación 1 como verificada
• 08:34 8 nov 2013 WikiSysop (discusión | contribuciones) modificó los grupos a los que pertenece Jalonso: de bot y administrador a bot, administrador y burócrata
• 19:34 7 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 35 de la página Relación 1 como verificada
• 19:33 7 nov 2013 Jalonso (discusión | contribuciones) borró la página Relación 1 (El contenido era: '<source lang="isar"> header {* R1: Programación funcional en Isabelle *} theory R1 imports Main begin text {* ---------------------------------------------------------------- Ejercicio 1. Definir, por recursión, la función ...')
• 19:32 7 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 34 de la página R1 como verificada
• 19:26 7 nov 2013 Jalonso (discusión | contribuciones) borró la página R1 (El contenido era: '<source lang="isar"> header {* R1: Programación funcional en Isabelle *} theory R1 imports Main begin text {* ---------------------------------------------------------------- Ejercicio 1. Definir, por recursión, la función ...')
• 19:17 7 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 33 de la página R1 como verificada
• 19:16 7 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 32 de la página R1 como verificada
• 21:29 6 nov 2013 Jalonso (discusión | contribuciones) protegió la página Documentación ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:29 6 nov 2013 Jalonso (discusión | contribuciones) protegió la página Temas ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:29 6 nov 2013 Jalonso (discusión | contribuciones) protegió la página R1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:28 6 nov 2013 Jalonso (discusión | contribuciones) protegió la página Ejercicios ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:28 6 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 27 de la página Relación 1 como verificada
• 21:28 6 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 26 de la página R1 como verificada
• 21:27 6 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 25 de la página Ejercicios como verificada
• 21:26 6 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 24 de la página Ejercicios como verificada
• 10:06 28 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 23 de la página Ejercicios como verificada
• 10:04 28 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 22 de la página Sistemas como verificada
• 10:02 28 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 21 de la página Razonamiento automático (2013-14) como verificada
• 08:28 24 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 20 de la página Tema 1: Programación funcional en Isabelle como verificada
• 08:22 24 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 19 de la página Razonamiento automático (2013-14) como verificada
• 08:05 24 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 18 de la página MediaWiki:Sidebar como verificada
• 08:04 24 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 17 de la página Documentación como verificada
• 08:02 24 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 16 de la página Tema 1: Programación funcional en Isabelle como verificada
• 08:00 24 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 15 de la página Temas como verificada
• 07:58 24 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 14 de la página Razonamiento automático (2013-14) como verificada
• 07:54 24 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 13 de la página Ejercicios como verificada
• 07:53 24 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 12 de la página MediaWiki:Sidebar como verificada
• 17:59 23 oct 2013 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 11 de la página Relación 1 como verificada
• 17:59 23 oct 2013 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 10 de la página Relación 1 como verificada
• 17:48 23 oct 2013 WikiSysop (discusión | contribuciones) protegió la página Razonamiento automático (2013-14) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 17:47 23 oct 2013 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 8 de la página Relación 1 como verificada
• 17:47 23 oct 2013 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 7 de la página R1 como verificada
• 17:46 23 oct 2013 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 6 de la página Razonamiento automático (2013-14) como verificada
• 17:42 23 oct 2013 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 5 de la página Razonamiento automático (2013-14) como verificada
• 17:52 22 oct 2013 WikiSysop (discusión | contribuciones) modificó los grupos a los que pertenece Jalonso: de (ninguno) a bot y administrador
• 17:29 22 oct 2013 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 4 de la página MediaWiki:Sidebar como verificada
• 17:28 22 oct 2013 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 3 de la página Razonamiento automático (2013-14) como verificada
• 17:26 22 oct 2013 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 2 de la página MediaWiki:Mainpage como verificada