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.

• 11:27 13 feb 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 546 de la página Temas como verificada
• 06:51 7 feb 2014 Jalonso (discusión | contribuciones) protegió la página R12 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 06:50 7 feb 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 521 de la página Relación 12 como verificada
• 06:49 7 feb 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 520 de la página R12 como verificada
• 06:46 7 feb 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 519 de la página Ejercicios como verificada
• 21:30 5 feb 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 514 de la página Tema 8: Caso de estudio: Compilación de expresiones como verificada
• 21:29 5 feb 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 513 de la página Temas como verificada
• 19:10 31 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 510 de la página Relación 11 como verificada
• 19:09 31 ene 2014 Jalonso (discusión | contribuciones) protegió la página R11 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:08 31 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 508 de la página R11 como verificada
• 19:07 31 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 507 de la página Ejercicios como verificada
• 08:03 24 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 466 de la página Relación 10 como verificada
• 08:03 24 ene 2014 Jalonso (discusión | contribuciones) protegió la página R10 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:03 24 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 464 de la página R10 como verificada
• 08:01 24 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 463 de la página Ejercicios como verificada
• 08:00 24 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 462 de la página Temas como verificada
• 08:00 24 ene 2014 Jalonso (discusión | contribuciones) trasladó las preferencias de protección de Tema 6b: Deducción natural en lógica de primer orden con Isabelle/HOL a Tema 7b: Deducción natural en lógica de primer orden con Isabelle/HOL (heredando la protección al trasladar Tema 6b: Deducción natural en lógica de primer orden con Isabelle/HOL a Tema 7b: Deducción natural en lógica de primer orden con Isabelle/HOL)
• 08:00 24 ene 2014 Jalonso (discusión | contribuciones) trasladó la página Tema 6b: Deducción natural en lógica de primer orden con Isabelle/HOL a Tema 7b: Deducción natural en lógica de primer orden con Isabelle/HOL sin dejar una redirección
• 20:25 22 ene 2014 Jalonso (discusión | contribuciones) eliminó la protección de Relación 5 (hist)
• 20:24 22 ene 2014 Jalonso (discusión | contribuciones) eliminó la protección de Relación 3 (hist)
• 20:23 22 ene 2014 Jalonso (discusión | contribuciones) eliminó la protección de Relación 2 (hist)
• 20:23 22 ene 2014 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 17:33 22 ene 2014 Jalonso (discusión | contribuciones) protegió la página Tema 6b: Deducción natural en lógica de primer orden con Isabelle/HOL ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 17:33 22 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 443 de la página Tema 6b: Deducción natural en lógica de primer orden con Isabelle/HOL como verificada
• 17:27 22 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 442 de la página Temas como verificada
• 17:27 22 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 441 de la página Temas como verificada
• 21:03 16 ene 2014 Jalonso (discusión | contribuciones) protegió la página R9 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:03 16 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 421 de la página Relación 9 como verificada
• 21:02 16 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 420 de la página R9 como verificada
• 21:01 16 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 419 de la página Ejercicios como verificada
• 10:00 16 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 412 de la página Tema 6b: Deducción natural proposicional con Isabelle/HOL como verificada
• 09:59 16 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 411 de la página Temas como verificada
• 13:55 9 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 389 de la página Relación 8 como verificada
• 13:55 9 ene 2014 Jalonso (discusión | contribuciones) protegió la página R8 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:55 9 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 387 de la página R8 como verificada
• 13:53 9 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 386 de la página Ejercicios como verificada
• 13:52 9 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 385 de la página Tema 5b: Verificación de la ordenación por mezcla como verificada
• 13:51 9 ene 2014 Jalonso (discusión | contribuciones) protegió la página Tema 5a: Verificación de la ordenación por inserción ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:50 9 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 383 de la página Tema 5a: Verificación de la ordenación por inserción como verificada
• 13:48 9 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 382 de la página Temas como verificada
• 12:58 20 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 346 de la página R7 como verificada
• 12:57 20 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 345 de la página Relación 7 como verificada
• 08:12 19 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 339 de la página Relación 7 como verificada
• 08:11 19 dic 2013 Jalonso (discusión | contribuciones) protegió la página Relación 5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:11 19 dic 2013 Jalonso (discusión | contribuciones) protegió la página R7 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:11 19 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 336 de la página R7 como verificada
• 08:10 19 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 335 de la página Ejercicios como verificada
• 08:09 19 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 334 de la página Tema 4: Razonamiento por casos y por inducción como verificada
• 07:14 17 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 316 de la página Documentación como verificada
• 09:24 15 dic 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 291 de la página Documentación como verificada