Vista combinada de todos los registros de DAO (Demostración asistida por ordenador). 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.

• 16:50 22 oct 2013 Jalonso (discusión | contribuciones) trasladó la página Ejercicios a Ejercicios RA2013
• 07:56 22 mar 2013 Jalonso (discusión | contribuciones) borró la página GLC T2R2 (El contenido antes de blanquear era: 'mmm')
• 08:49 14 mar 2013 Jalonso (discusión | contribuciones) trasladó la página Rel 1 a RA12 Relación 1 sin dejar una redirección
• 08:34 14 mar 2013 Jalonso (discusión | contribuciones) trasladó la página Tema 8: Razonamiento sobre programas a Tema 5: Razonamiento sobre programas sin dejar una redirección
• 08:33 14 mar 2013 Jalonso (discusión | contribuciones) trasladó la página Tema 7: Programación funcional en Isabelle a Tema 4: Programación funcional en Isabelle sin dejar una redirección
• 08:32 14 mar 2013 Jalonso (discusión | contribuciones) trasladó la página Tema 5: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica a Tema 3: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica sin dejar una redirección
• 08:31 14 mar 2013 Jalonso (discusión | contribuciones) trasladó la página Tema 4: Deducción natural en lógica de primer orden en Isabelle/HOL a Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL
• 08:30 14 mar 2013 Jalonso (discusión | contribuciones) trasladó la página Tema 3: Deducción natural proposicional con Isabelle/HOL a Tema 1: Deducción natural proposicional con Isabelle/HOL sin dejar una redirección
• 08:30 14 mar 2013 Jalonso (discusión | contribuciones) trasladó la página Tema 2: Razonamiento sobre programas a Tema 8: Razonamiento sobre programas sin dejar una redirección
• 08:29 14 mar 2013 Jalonso (discusión | contribuciones) trasladó la página Tema 1: Programación funcional en Isabelle a Tema 7: Programación funcional en Isabelle sin dejar una redirección
• 20:20 4 mar 2013 Jalonso (discusión | contribuciones) protegió la página Rel 3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20:14 25 feb 2013 Se ha creado la cuenta de usuario Jalonso (discusión | contribuciones)