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.

• 07:42 10 feb 2018 Jalonso (discusión | contribuciones) eliminó la protección de Relación 5 (hist)
• 07:42 10 feb 2018 Jalonso (discusión | contribuciones) eliminó la protección de Relación 4 (hist)
• 07:41 10 feb 2018 Jalonso (discusión | contribuciones) eliminó la protección de Relación 2 (hist)
• 07:40 10 feb 2018 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 20:06 17 ene 2018 Jalonso (discusión | contribuciones) protegió la página R7 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20:04 17 ene 2018 Jalonso (discusión | contribuciones) protegió la página Tema 7b: Deducción natural proposicional con Isabelle/HOL ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:28 11 ene 2018 Jalonso (discusión | contribuciones) protegió la página R6 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:24 11 ene 2018 Jalonso (discusión | contribuciones) protegió la página Relación 5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:50 14 dic 2017 Jalonso (discusión | contribuciones) protegió la página R5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:39 14 dic 2017 Jalonso (discusión | contribuciones) protegió la página Relación 4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:09 30 nov 2017 Jalonso (discusión | contribuciones) protegió la página R4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:06 30 nov 2017 Jalonso (discusión | contribuciones) protegió la página Tema 4: Razonamiento por casos y por inducción ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 10:53 9 nov 2017 Jalonso (discusión | contribuciones) protegió la página Relación 2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:58 9 nov 2017 Jalonso (discusión | contribuciones) protegió la página R3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:53 4 nov 2017 Jalonso (discusión | contribuciones) eliminó la protección de Relación 2 (hist)
• 19: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)
• 19:51 4 nov 2017 Jalonso (discusión | contribuciones) protegió la página Documentación ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:51 4 nov 2017 Jalonso (discusión | contribuciones) protegió la página Razonamiento automático (2017-18) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 16:38 2 nov 2017 Jalonso (discusión | contribuciones) protegió la página Relación 1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:56 2 nov 2017 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 09:43 2 nov 2017 Jalonso (discusión | contribuciones) protegió la página Relación 1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:25 1 nov 2017 Jalonso (discusión | contribuciones) protegió la página R2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20:03 26 oct 2017 Jalonso (discusión | contribuciones) protegió la página Ejercicios ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20: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)
• 20: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)
• 20:02 26 oct 2017 Jalonso (discusión | contribuciones) protegió la página Temas ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 07:59 26 oct 2017 Jalonso (discusión | contribuciones) protegió la página R1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18:38 14 oct 2017 WikiSysop (discusión | contribuciones) modificó los grupos a los que pertenece Jalonso: de (ninguno) a bot, administrador y burócrata
• 08:32 9 sep 2017 Se ha creado la cuenta de usuario Jalonso (discusión | contribuciones)