Vista combinada de todos los registros de Razonamiento automático (2013-14). 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:35 9 nov 2013 Jalonso (discusión | contribuciones) protegió la página R1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:26 7 nov 2013 Jalonso (discusión | contribuciones) borró la página R1 (El contenido era: '<source lang="isar"> header {* R1: Programación funcional en Isabelle *} theory R1 imports Main begin text {* ---------------------------------------------------------------- Ejercicio 1. Definir, por recursión, la función ...')
• 21:29 6 nov 2013 Jalonso (discusión | contribuciones) protegió la página R1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)