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.

• 13:36 22 dic 2016 Jalonso (discusión | contribuciones) protegió la página Tema 6b: Verificación de la ordenación por mezcla ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13: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)
• 10:00 22 dic 2016 Jalonso (discusión | contribuciones) protegió la página Relación 7 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:54 18 dic 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 6 (hist)
• 12:10 18 dic 2016 Jalonso (discusión | contribuciones) protegió la página R7 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:05 15 dic 2016 Jalonso (discusión | contribuciones) protegió la página Relación 6 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:47 8 dic 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 4 (hist)
• 19:46 8 dic 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 3 (hist)
• 19:46 8 dic 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 2 (hist)
• 19:45 8 dic 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 19:50 2 dic 2016 Jalonso (discusión | contribuciones) protegió la página R6 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 06:51 1 dic 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 5 (hist)
• 06:04 1 dic 2016 Jalonso (discusión | contribuciones) protegió la página Relación 5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:43 30 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 5 (hist)
• 20:41 30 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:09 25 nov 2016 Jalonso (discusión | contribuciones) protegió la página R5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:05 25 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:28 24 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 4 (hist)
• 07:49 24 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:36 23 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 14:18 21 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 3 (hist)
• 21:12 20 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:05 17 nov 2016 Jalonso (discusión | contribuciones) protegió la página R4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 10: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)
• 10:26 17 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 3 (hist)
• 09: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)
• 14:12 10 nov 2016 Jalonso (discusión | contribuciones) protegió la página Relación 2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:45 10 nov 2016 Jalonso (discusión | contribuciones) protegió la página R3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13: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)
• 17:46 9 nov 2016 Jalonso (discusión | contribuciones) protegió la página Colaboraciones ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 17: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)
• 17: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)
• 17:10 9 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 2 (hist)
• 17: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)
• 08:57 5 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 2 (hist)
• 08: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)
• 23:41 3 nov 2016 Jalonso (discusión | contribuciones) protegió la página R2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:58 3 nov 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 09: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)
• 21:25 31 oct 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 20: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)
• 17:38 31 oct 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 17: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)
• 19:13 24 oct 2016 Jalonso (discusión | contribuciones) protegió la página Documentación ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19: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)
• 19:12 24 oct 2016 Jalonso (discusión | contribuciones) protegió la página Razonamiento automático (2016-17) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:12 24 oct 2016 Jalonso (discusión | contribuciones) protegió la página R1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:10 24 oct 2016 Jalonso (discusión | contribuciones) protegió la página Ejercicios ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:07 24 oct 2016 Jalonso (discusión | contribuciones) protegió la página Temas ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 15:50 15 oct 2016 Se ha creado la cuenta de usuario Jalonso (discusión | contribuciones)