Vista combinada de todos los registros de Razonamiento automático (2014-15). 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.

• 14:02 27 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 178 de la página Tema 5b: Verificación de la ordenación por mezcla como verificada
• 14:01 27 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 177 de la página Tema 5a: Verificación de la ordenación por inserción como verificada
• 14:01 27 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 176 de la página Temas como verificada
• 13:59 27 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 175 de la página Temas como verificada
• 08:25 22 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 160 de la página Relación 6 como verificada
• 08:24 22 nov 2014 Jalonso (discusión | contribuciones) protegió la página R6 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:23 22 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 158 de la página R6 como verificada
• 08:22 22 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 157 de la página R6 como verificada
• 08:18 22 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 156 de la página Ejercicios como verificada
• 14:25 14 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 94 de la página Relación 5 como verificada
• 14:24 14 nov 2014 Jalonso (discusión | contribuciones) protegió la página R5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 14:24 14 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 92 de la página R5 como verificada
• 14:23 14 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 91 de la página Relación 4 como verificada
• 14:23 14 nov 2014 Jalonso (discusión | contribuciones) protegió la página R4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 14:23 14 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 89 de la página R4 como verificada
• 14:22 14 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 88 de la página Ejercicios como verificada
• 14:22 13 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 85 de la página Relación 3 como verificada
• 13:37 13 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 83 de la página Tema 4: Razonamiento por casos y por inducción como verificada
• 13:36 13 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 82 de la página Temas como verificada
• 07:45 6 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 51 de la página Relación 1 como verificada
• 07:40 6 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 50 de la página Relación 1 como verificada
• 06:46 6 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 49 de la página Relación 3 como verificada
• 06:46 6 nov 2014 Jalonso (discusión | contribuciones) protegió la página R3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 06:46 6 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 47 de la página R3 como verificada
• 06:45 6 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 46 de la página Relación 2 como verificada
• 06:45 6 nov 2014 Jalonso (discusión | contribuciones) protegió la página R2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 06:45 6 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 44 de la página R2 como verificada
• 06:44 6 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 43 de la página Ejercicios como verificada
• 06:41 6 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 42 de la página Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL como verificada
• 06:40 6 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 41 de la página Temas como verificada
• 06:39 6 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 40 de la página Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL como verificada
• 06:38 6 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 39 de la página Temas como verificada
• 08:48 4 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 24 de la página Tema 1: Programación funcional en Isabelle como verificada
• 14:50 30 oct 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 17 de la página Tema 1: Programación funcional en Isabelle como verificada
• 13:21 30 oct 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 16 de la página Relación 1 como verificada
• 13:21 30 oct 2014 Jalonso (discusión | contribuciones) protegió la página R1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:20 30 oct 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 14 de la página R1 como verificada
• 13:20 30 oct 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 13 de la página Ejercicios como verificada
• 13:19 30 oct 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 12 de la página Tema 1: Programación funcional en Isabelle como verificada
• 13:18 30 oct 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 11 de la página Temas como verificada
• 13:18 30 oct 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 10 de la página Temas como verificada
• 13:17 30 oct 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 9 de la página Temas como verificada
• 07:08 24 oct 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 8 de la página Sistemas como verificada
• 07:49 23 oct 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 7 de la página Documentación como verificada
• 07:45 23 oct 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 6 de la página Ejercicios como verificada
• 07:42 23 oct 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 5 de la página Temas como verificada
• 07:38 23 oct 2014 WikiSysop (discusión | contribuciones) modificó los grupos a los que pertenece Jalonso: de (ninguno) a bot, administrador y burócrata
• 07:15 23 oct 2014 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 4 de la página MediaWiki:Sidebar como verificada
• 07:12 23 oct 2014 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 3 de la página Razonamiento automático (2014-15) como verificada
• 07:11 23 oct 2014 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 2 de la página MediaWiki:Mainpage como verificada