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

• 17:16 23 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 63 de la página Documentación como verificada
• 17:15 23 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 62 de la página Documentación como verificada
• 17:12 23 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 61 de la página Documentación como verificada
• 13:25 15 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 57 de la página Relación 2 como verificada
• 18:06 14 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 52 de la página Relación 3 como verificada
• 18:06 14 dic 2015 Jalonso (discusión | contribuciones) protegió la página R3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18:06 14 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 50 de la página R3 como verificada
• 18:05 14 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 49 de la página Ejercicios como verificada
• 18:04 14 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 48 de la página Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL como verificada
• 18:03 14 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 47 de la página Temas como verificada
• 17:15 1 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 46 de la página Discusión:Relación 1 como verificada
• 17:11 1 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 45 de la página Discusión:Relación 1 como verificada
• 13:55 1 dic 2015 Jalonso (discusión | contribuciones) protegió la página R2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:54 1 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 43 de la página Relación 2 como verificada
• 13:54 1 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 42 de la página R2 como verificada
• 13:54 1 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 41 de la página Ejercicios como verificada
• 13:53 1 dic 2015 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
• 13:52 1 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 39 de la página Temas como verificada
• 13:51 1 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 38 de la página Temas como verificada
• 13:50 1 dic 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 37 de la página Relación 1 como verificada
• 11:14 30 nov 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 32 de la página Discusión:Relación 1 como verificada
• 11:11 30 nov 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 31 de la página Discusión:Relación 1 como verificada
• 11:11 30 nov 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 30 de la página Discusión:Relación 1 como verificada
• 11:10 30 nov 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 29 de la página Discusión:Relación 1 como verificada
• 11:09 30 nov 2015 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 28 de la página Relación 1 como verificada
• 13:12 25 nov 2015 WikiSysop (discusión | contribuciones) modificó los grupos a los que pertenece Jalonso: de (ninguno) a bot, administrador y burócrata
• 16:05 24 nov 2015 WikiSysop (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 16:05 24 nov 2015 WikiSysop (discusión | contribuciones) protegió la página R1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 16:04 24 nov 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 15 de la página R1 como verificada
• 16:04 24 nov 2015 WikiSysop (discusión | contribuciones) protegió la página Relación 1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 16:04 24 nov 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 13 de la página Relación 1 como verificada
• 16:03 24 nov 2015 WikiSysop (discusión | contribuciones) protegió la página Ejercicios ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 16:03 24 nov 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 11 de la página Ejercicios como verificada
• 08:21 15 oct 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 10 de la página Documentación como verificada
• 08:20 15 oct 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 9 de la página Ejercicios como verificada
• 08:19 15 oct 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 8 de la página Tema 1: Programación funcional en Isabelle como verificada
• 08:18 15 oct 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 7 de la página Temas como verificada
• 08:18 15 oct 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 6 de la página Temas como verificada
• 08:16 15 oct 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 5 de la página Razonamiento automático (2015-16) como verificada
• 08:15 15 oct 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 4 de la página MediaWiki:Mainpage como verificada
• 08:15 15 oct 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 3 de la página MediaWiki:Sidebar como verificada
• 08:14 15 oct 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 2 de la página MediaWiki:Sidebar como verificada