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

• 19:52 4 nov 2017 Jalonso (discusión | contribuciones) protegió la página Relación 2 ‎[edit=sysop] (caduca el 18:52 4 nov 2017 (UTC)) [move=sysop] (caduca el 18:52 4 nov 2017 (UTC)) (hist)
• 19:51 4 nov 2017 Jalonso (discusión | contribuciones) protegió la página Documentación ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:51 4 nov 2017 Jalonso (discusión | contribuciones) protegió la página Razonamiento automático (2017-18) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 16:56 2 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 84 de la página Relación 1 como verificada
• 16:41 2 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 83 de la página Colaboraciones como verificada
• 16:38 2 nov 2017 Jalonso (discusión | contribuciones) protegió la página Relación 1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 10:06 2 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 67 de la página Colaboraciones como verificada
• 09:58 2 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 66 de la página Ejercicios como verificada
• 09:57 2 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 65 de la página Ejercicios como verificada
• 09:56 2 nov 2017 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 09:55 2 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 63 de la página Relación 1 como verificada
• 09:43 2 nov 2017 Jalonso (discusión | contribuciones) protegió la página Relación 1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:26 1 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 49 de la página Relación 2 como verificada
• 12:25 1 nov 2017 Jalonso (discusión | contribuciones) protegió la página R2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:25 1 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 47 de la página R2 como verificada
• 12:21 1 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 46 de la página Ejercicios como verificada
• 12:20 1 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 45 de la página Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL como verificada
• 12:10 1 nov 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 44 de la página Temas como verificada
• 08:34 29 oct 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 41 de la página Relación 1 como verificada
• 08:33 29 oct 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 40 de la página Relación 1 como verificada
• 08:13 29 oct 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 39 de la página Relación 1 como verificada
• 20:03 26 oct 2017 Jalonso (discusión | contribuciones) protegió la página Ejercicios ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20:03 26 oct 2017 Jalonso (discusión | contribuciones) protegió la página Tema 1: Programación funcional en Isabelle ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20:02 26 oct 2017 Jalonso (discusión | contribuciones) cambió el nivel de protección de Temas ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) [en cascada] (hist)
• 20:02 26 oct 2017 Jalonso (discusión | contribuciones) protegió la página Temas ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 17:16 26 oct 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 25 de la página Relación 1 como verificada
• 07:59 26 oct 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 24 de la página Relación 1 como verificada
• 07:59 26 oct 2017 Jalonso (discusión | contribuciones) protegió la página R1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 07:58 26 oct 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 22 de la página R1 como verificada
• 07:57 26 oct 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 21 de la página Ejercicios como verificada
• 07:44 26 oct 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 20 de la página Tema 1: Programación funcional en Isabelle como verificada
• 07:43 26 oct 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 19 de la página Temas como verificada
• 07:17 26 oct 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 18 de la página MediaWiki:Sidebar como verificada
• 12:35 22 oct 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 17 de la página Sistemas como verificada
• 16:14 19 oct 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 16 de la página Razonamiento automático (2017-18) como verificada
• 19:49 18 oct 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 15 de la página Ejercicios como verificada
• 19:47 18 oct 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 14 de la página Temas como verificada
• 10:06 16 oct 2017 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 13 de la página Documentación como verificada
• 10:06 16 oct 2017 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 12 de la página Documentación como verificada
• 10:05 16 oct 2017 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 11 de la página Documentación como verificada
• 18:39 14 oct 2017 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 10 de la página MediaWiki:Sidebar como verificada
• 18:38 14 oct 2017 WikiSysop (discusión | contribuciones) modificó los grupos a los que pertenece Jalonso: de (ninguno) a bot, administrador y burócrata
• 08:39 9 sep 2017 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 8 de la página Sistemas como verificada
• 08:38 9 sep 2017 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 7 de la página Documentación como verificada
• 08:37 9 sep 2017 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 6 de la página Ejercicios como verificada
• 08:37 9 sep 2017 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 5 de la página Temas como verificada
• 08:35 9 sep 2017 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 4 de la página Razonamiento automático (2017-18) como verificada
• 08:34 9 sep 2017 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 3 de la página MediaWiki:Mainpage como verificada
• 08:33 9 sep 2017 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 2 de la página MediaWiki:Sidebar como verificada
• 08:32 9 sep 2017 Se ha creado la cuenta de usuario Jalonso (discusión | contribuciones)