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.

• 12:35 22 dic 2016 Jalonso (discusión | contribuciones) protegió la página Tema 7: Caso de estudio: Compilación de expresiones ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:00 22 dic 2016 Jalonso (discusión | contribuciones) protegió la página Relación 7 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:54 18 dic 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 6 (hist)
• 11:10 18 dic 2016 Jalonso (discusión | contribuciones) protegió la página R7 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 11:05 15 dic 2016 Jalonso (discusión | contribuciones) protegió la página Relación 6 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18:47 8 dic 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 4 (hist)
• 18:46 8 dic 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 3 (hist)
• 18:46 8 dic 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 2 (hist)
• 18:45 8 dic 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 18:50 2 dic 2016 Jalonso (discusión | contribuciones) protegió la página R6 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 05:51 1 dic 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 5 (hist)
• 05:04 1 dic 2016 Jalonso (discusión | contribuciones) protegió la página Relación 5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20:43 30 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 5 (hist)
• 19:41 30 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:09 25 nov 2016 Jalonso (discusión | contribuciones) protegió la página R5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:05 25 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:28 24 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 4 (hist)
• 06:49 24 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20:36 23 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:18 21 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 3 (hist)
• 20:12 20 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 11:05 17 nov 2016 Jalonso (discusión | contribuciones) protegió la página R4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:40 17 nov 2016 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:26 17 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 3 (hist)
• 08:54 17 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 3 ‎[edit=sysop] (caduca el 08:54 17 nov 2016 (UTC)) [move=sysop] (caduca el 08:54 17 nov 2016 (UTC)) (hist)
• 13:12 10 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:45 10 nov 2016 Jalonso (discusión | contribuciones) protegió la página R3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12: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)
• 16:46 9 nov 2016 Jalonso (discusión | contribuciones) protegió la página Colaboraciones ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 16: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)
• 16: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)
• 16:10 9 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 2 (hist)
• 16: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)
• 07:57 5 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 2 (hist)
• 07: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)
• 22:41 3 nov 2016 Jalonso (discusión | contribuciones) protegió la página R2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:58 3 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 08: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)
• 20:25 31 oct 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 19: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)
• 16:38 31 oct 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 16: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)
• 18:13 24 oct 2016 Jalonso (discusión | contribuciones) protegió la página Documentación ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18: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)
• 18:12 24 oct 2016 Jalonso (discusión | contribuciones) protegió la página Razonamiento automático (2016-17) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18:12 24 oct 2016 Jalonso (discusión | contribuciones) protegió la página R1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18:10 24 oct 2016 Jalonso (discusión | contribuciones) protegió la página Ejercicios ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18:07 24 oct 2016 Jalonso (discusión | contribuciones) protegió la página Temas ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 14:51 15 oct 2016 WikiSysop (discusión | contribuciones) modificó los grupos a los que pertenece Jalonso: de (ninguno) a bot, administrador y burócrata
• 14:50 15 oct 2016 Se ha creado la cuenta de usuario Jalonso (discusión | contribuciones)