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.

• 08:31 14 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 49 de la página Temas como verificada
• 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) marcó automáticamente la revisión 47 de la página Temas como verificada
• 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) marcó automáticamente la revisión 45 de la página Temas como verificada
• 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
• 08:13 14 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 43 de la página GLC T1R1 como verificada
• 08:10 14 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 42 de la página GLC T1 como verificada
• 12:28 7 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 41 de la página Documentación como verificada
• 12:24 7 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 40 de la página Documentación como verificada
• 09:34 6 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 39 de la página Tema 3: Deducción natural proposicional con Isabelle/HOL como verificada
• 09:33 6 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 38 de la página Tema 3: Deducción natural proposicional con Isabelle/HOL como verificada
• 21:29 4 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 37 de la página Ejercicios como verificada
• 21:27 4 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 36 de la página Ejercicios como verificada
• 21:26 4 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 35 de la página Ejercicios como verificada
• 21:26 4 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 34 de la página Ejercicios como verificada
• 20:20 4 mar 2013 Jalonso (discusión | contribuciones) protegió la página Rel 3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20:20 4 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 32 de la página Rel 3 como verificada
• 19:16 4 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 31 de la página Tema 3: Deducción natural proposicional con Isabelle/HOL como verificada
• 21:32 27 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 30 de la página Documentación como verificada
• 21:31 27 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 29 de la página Documentación como verificada
• 21:30 27 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 28 de la página Documentación como verificada
• 21:07 27 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 27 de la página MediaWiki:Sidebar como verificada
• 21:07 27 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 26 de la página MediaWiki:Sidebar como verificada
• 21:06 27 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 25 de la página MediaWiki:Sidebar como verificada
• 21:01 27 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 24 de la página Documentación como verificada
• 18:06 27 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 23 de la página Documentación como verificada
• 23:14 26 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 22 de la página Rel 4 como verificada
• 23:12 26 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 21 de la página Rel 3 como verificada
• 23:11 26 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 20 de la página Rel 2 como verificada
• 23:10 26 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 19 de la página Tema 6: Razonamiento por casos y por inducción en Isabelle/HOL como verificada
• 23:08 26 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 18 de la página Tema 5: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica como verificada
• 23:07 26 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 17 de la página Tema 4: Deducción natural en lógica de primer orden en Isabelle/HOL como verificada
• 23:06 26 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 16 de la página Temas como verificada
• 23:06 26 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 15 de la página Temas como verificada
• 23:03 26 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 14 de la página Tema 3: Deducción natural proposicional con Isabelle/HOL como verificada
• 23:03 26 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 13 de la página Tema 3: Deducción natural proposicional con Isabelle/HOL como verificada
• 23:02 26 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 12 de la página Tema 2: Razonamiento sobre programas como verificada
• 23:01 26 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 11 de la página Tema 1: Programación funcional en Isabelle como verificada
• 21:31 26 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 10 de la página DAO (Demostración asistida por ordenador) como verificada
• 21:24 26 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 9 de la página Documentación como verificada
• 21:41 25 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 8 de la página Rel 1 como verificada
• 20:46 25 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 7 de la página Ejercicios como verificada
• 20:42 25 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 6 de la página Temas como verificada
• 20:23 25 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 5 de la página DAO (Demostración asistida por ordenador) como verificada
• 20:20 25 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 4 de la página MediaWiki:Sidebar como verificada
• 20:18 25 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 3 de la página MediaWiki:Mainpage como verificada
• 20:17 25 feb 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 2 de la página MediaWiki:Sidebar como verificada
• 20:16 25 feb 2013 WikiSysop (discusión | contribuciones) modificó los grupos a los que pertenece Jalonso: de (ninguno) a bot, administrador y burócrata
• 20:14 25 feb 2013 Se ha creado la cuenta de usuario Jalonso (discusión | contribuciones)