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

• 18:27 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 45 de la página Tema 2: Programación funcional en Isabelle como verificada
• 18:22 27 nov 2012 Jalonso (discusión | contribuciones) protegió la página Tema 2: Programación funcional en Isabelle ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18:04 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 37 de la página Tema 2: Programación funcional en Isabelle como verificada
• 18:02 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 36 de la página Tema 2: Programación funcional en Isabelle como verificada
• 18:01 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 35 de la página Tema 2: Programación funcional en Isabelle como verificada