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.

• 08:29 26 ene 2017 Jalonso (discusión | contribuciones) protegió la página R10 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:05 26 ene 2017 Jalonso (discusión | contribuciones) protegió la página Tema 10: Conjuntos, funciones y relaciones ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 06:52 26 ene 2017 Jalonso (discusión | contribuciones) eliminó la protección de Relación 9 (hist)
• 20:02 25 ene 2017 Jalonso (discusión | contribuciones) protegió la página Relación 9 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:07 19 ene 2017 Jalonso (discusión | contribuciones) protegió la página R9 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 11:27 19 ene 2017 Jalonso (discusión | contribuciones) protegió la página Relación 8 ‎[edit=sysop] (caduca el 10:27 20 ene 2017 (UTC)) [move=sysop] (caduca el 10:27 20 ene 2017 (UTC)) (hist)
• 20:33 12 ene 2017 Jalonso (discusión | contribuciones) eliminó la protección de Relación 8 (hist)
• 12:00 12 ene 2017 Jalonso (discusión | contribuciones) protegió la página R8 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:00 12 ene 2017 Jalonso (discusión | contribuciones) protegió la página Relación 8 ‎[edit=sysop] (caduca el 11:00 13 ene 2017 (UTC)) [move=sysop] (caduca el 11:00 13 ene 2017 (UTC)) (hist)
• 08:17 3 ene 2017 Jalonso (discusión | contribuciones) eliminó la protección de Relación 7 (hist)
• 12:37 22 dic 2016 Jalonso (discusión | contribuciones) protegió la página Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:36 22 dic 2016 Jalonso (discusión | contribuciones) protegió la página Tema 5: Razonamiento sobre árboles y bosques ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:36 22 dic 2016 Jalonso (discusión | contribuciones) protegió la página Tema 6a: Verificación de la ordenación por inserción ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12: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)
• 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)