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

• 17:00 19 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 51 de la página Tema 6: Isabelle como un lenguaje funcional como verificada
• 16:56 19 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 50 de la página Tema 6: Isabelle como un lenguaje funcional como verificada
• 16:55 19 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 49 de la página Tema 6: Isabelle como un lenguaje funcional como verificada
• 16:54 19 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 48 de la página Tema 6: Isabelle como un lenguaje funcional como verificada