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.

• 09:29 26 ene 2017 Jalonso (discusión | contribuciones) protegió la página R10 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09: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)
• 07:52 26 ene 2017 Jalonso (discusión | contribuciones) eliminó la protección de Relación 9 (hist)
• 21:02 25 ene 2017 Jalonso (discusión | contribuciones) protegió la página Relación 9 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 14:07 19 ene 2017 Jalonso (discusión | contribuciones) protegió la página R9 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12: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)
• 21:33 12 ene 2017 Jalonso (discusión | contribuciones) eliminó la protección de Relación 8 (hist)
• 13:00 12 ene 2017 Jalonso (discusión | contribuciones) protegió la página R8 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13: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)
• 09:17 3 ene 2017 Jalonso (discusión | contribuciones) eliminó la protección de Relación 7 (hist)
• 13: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)
• 13: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)
• 13: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)
• 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)