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

• 13:45 10 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 303 de la página Relación 3 como verificada
• 13:45 10 nov 2016 Jalonso (discusión | contribuciones) protegió la página R3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:45 10 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 301 de la página R3 como verificada
• 13:44 10 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 300 de la página Ejercicios como verificada
• 13:20 10 nov 2016 Jalonso (discusión | contribuciones) protegió la página Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:19 10 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 297 de la página Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL como verificada
• 12:00 10 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 295 de la página Temas como verificada
• 17:47 9 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 287 de la página Colaboraciones como verificada
• 17:46 9 nov 2016 Jalonso (discusión | contribuciones) protegió la página Colaboraciones ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 17:27 9 nov 2016 Jalonso (discusión | contribuciones) cambió el nivel de protección de Relación 1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 17:27 9 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 284 de la página Relación 1 como verificada
• 17:12 9 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 1 ‎[edit=sysop] (caduca el 16:12 9 nov 2016 (UTC)) [move=sysop] (caduca el 16:12 9 nov 2016 (UTC)) (hist)
• 17:10 9 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 2 (hist)
• 17:10 9 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 281 de la página Relación 2 como verificada
• 17:03 9 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 2 ‎[edit=sysop] (caduca el 16:03 9 nov 2016 (UTC)) [move=sysop] (caduca el 16:03 9 nov 2016 (UTC)) (hist)
• 08:23 7 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 260 de la página Relación 2 como verificada
• 11:52 6 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 236 de la página Razonamiento automático (2016-17) como verificada
• 11:51 6 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 235 de la página MediaWiki:Sidebar como verificada
• 11:44 6 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 234 de la página Ejercicios como verificada
• 09:08 6 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 233 de la página Discusión:Relación 2 como verificada
• 09:03 6 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 232 de la página Relación 2 como verificada
• 08:57 5 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 2 (hist)
• 08:56 5 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 210 de la página Relación 2 como verificada
• 08:26 5 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 2 ‎[edit=sysop] (caduca el 07:26 5 nov 2016 (UTC)) [move=sysop] (caduca el 07:26 5 nov 2016 (UTC)) (hist)
• 18:39 4 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 205 de la página Discusión:Relación 2 como verificada
• 23:41 3 nov 2016 Jalonso (discusión | contribuciones) protegió la página R2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:24 3 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 171 de la página R2 como verificada
• 13:19 3 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 170 de la página Ejercicios como verificada
• 13:18 3 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 169 de la página Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL como verificada
• 12:42 3 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 168 de la página Temas como verificada
• 09:58 3 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 09:51 3 nov 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 166 de la página Relación 1 como verificada
• 09:41 3 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 1 ‎[edit=sysop] (caduca el 08:41 3 nov 2016 (UTC)) [move=sysop] (caduca el 08:41 3 nov 2016 (UTC)) (hist)
• 21:38 31 oct 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 143 de la página Colaboraciones como verificada
• 21:25 31 oct 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 21:24 31 oct 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 141 de la página Relación 1 como verificada
• 20:55 31 oct 2016 Jalonso (discusión | contribuciones) protegió la página Relación 1 ‎[edit=sysop] (caduca el 19:55 31 oct 2016 (UTC)) [move=sysop] (caduca el 19:55 31 oct 2016 (UTC)) (hist)
• 17:38 31 oct 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 17:38 31 oct 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 138 de la página Relación 1 como verificada
• 17:37 31 oct 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 137 de la página Relación 1 como verificada
• 17:36 31 oct 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 136 de la página Relación 1 como verificada
• 17:13 31 oct 2016 Jalonso (discusión | contribuciones) protegió la página Relación 1 ‎[edit=sysop] (caduca el 16:13 31 oct 2016 (UTC)) [move=sysop] (caduca el 16:13 31 oct 2016 (UTC)) (hist)
• 23:50 24 oct 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 52 de la página Tema 1: Programación funcional en Isabelle como verificada
• 23:49 24 oct 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 51 de la página Relación 1 como verificada
• 23:49 24 oct 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 50 de la página Relación 1 como verificada
• 23:45 24 oct 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 49 de la página Relación 1 como verificada
• 23:44 24 oct 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 48 de la página R1 como verificada
• 23:38 24 oct 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 47 de la página Tema 1: Programación funcional en Isabelle como verificada
• 19:13 24 oct 2016 Jalonso (discusión | contribuciones) protegió la página Documentación ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:13 24 oct 2016 Jalonso (discusión | contribuciones) protegió la página Tema 1: Programación funcional en Isabelle ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)