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.

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