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

• 09:05 15 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 290 de la página Documentación como verificada
• 20:09 14 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 289 de la página Documentación como verificada
• 23:28 11 dic 2013 Jalonso (discusión | contribuciones) protegió la página R6 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 23:28 11 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 278 de la página Relación 6 como verificada
• 23:27 11 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 277 de la página R6 como verificada
• 23:27 11 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 276 de la página R6 como verificada
• 23:25 11 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 275 de la página Ejercicios como verificada
• 08:54 9 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 250 de la página Documentación como verificada
• 08:35 9 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 249 de la página Documentación como verificada
• 09:57 7 dic 2013 Jalonso (discusión | contribuciones) protegió la página Relación 4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:56 7 dic 2013 Jalonso (discusión | contribuciones) protegió la página Relación 3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:56 7 dic 2013 Jalonso (discusión | contribuciones) protegió la página Relación 2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:56 7 dic 2013 Jalonso (discusión | contribuciones) protegió la página Relación 1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:22 6 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 219 de la página Documentación como verificada
• 21:22 6 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 218 de la página Documentación como verificada
• 21:20 6 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 217 de la página Documentación como verificada
• 21:20 6 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 216 de la página Documentación como verificada
• 09:14 6 dic 2013 Jalonso (discusión | contribuciones) protegió la página R5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:27 6 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 211 de la página Ejercicios como verificada
• 09:32 29 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 198 de la página Documentación como verificada
• 20:34 28 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 196 de la página Ejercicios como verificada
• 20:33 28 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 195 de la página Ejercicios como verificada
• 12:04 28 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 193 de la página Relación 5 como verificada
• 12:03 28 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 192 de la página Ejercicios como verificada
• 08:33 28 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 190 de la página Documentación como verificada
• 08:32 28 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 189 de la página Documentación como verificada
• 08:31 28 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 188 de la página Documentación como verificada
• 08:27 28 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 187 de la página Documentación como verificada
• 08:25 28 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 186 de la página Documentación como verificada
• 08:23 28 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 185 de la página Documentación como verificada
• 08:22 28 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 184 de la página Documentación como verificada
• 08:22 28 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 183 de la página Documentación como verificada
• 23:10 27 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 178 de la página R5 como verificada
• 23:09 27 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 177 de la página Ejercicios como verificada
• 21:36 27 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 176 de la página Relación 4 como verificada
• 21:35 27 nov 2013 Jalonso (discusión | contribuciones) protegió la página R4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:35 27 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 174 de la página R4 como verificada
• 21:33 27 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 173 de la página Ejercicios como verificada
• 21:14 27 nov 2013 Jalonso (discusión | contribuciones) protegió la página Tema 4: Razonamiento por casos y por inducción ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:14 27 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 169 de la página Tema 4: Razonamiento por casos y por inducción como verificada
• 21:14 27 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 168 de la página Tema 4: Razonamiento por casos y por inducción como verificada
• 21:12 27 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 167 de la página Temas como verificada
• 18:27 27 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 166 de la página Relación 3 como verificada
• 13:29 21 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 140 de la página Relación 3 como verificada
• 13:29 21 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 139 de la página R3 como verificada
• 13:27 21 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 138 de la página Ejercicios como verificada
• 13:22 21 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 137 de la página Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL como verificada
• 13:17 21 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 136 de la página Temas como verificada
• 08:38 14 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 92 de la página Relación 2 como verificada
• 08:37 14 nov 2013 Jalonso (discusión | contribuciones) protegió la página R2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)