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.

• 20:33 2 feb 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 68 de la página Tema 7: El lenguaje de demostración Isar como verificada
• 11:45 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 53 de la página Tema 7: El lenguaje de demostración Isar como verificada