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.

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