Vista combinada de todos los registros de Razonamiento automático (2016-17). 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.

• 23:50 24 oct 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 52 de la página Tema 1: Programación funcional en Isabelle como verificada
• 23:38 24 oct 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 47 de la página Tema 1: Programación funcional en Isabelle como verificada
• 19:13 24 oct 2016 Jalonso (discusión | contribuciones) protegió la página Tema 1: Programación funcional en Isabelle ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:08 24 oct 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 38 de la página Tema 1: Programación funcional en Isabelle como verificada