Todos los registros públicos
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:37 9 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 51 de la página R1 como verificada
- 18:35 9 nov 2013 Jalonso (discusión | contribuciones) protegió la página R1 [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 08:43 9 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 44 de la página R1 como verificada
- 08:42 9 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 43 de la página R1 como verificada
- 19:32 7 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 34 de la página R1 como verificada
- 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 ...')
- 19:17 7 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 33 de la página R1 como verificada
- 19:16 7 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 32 de la página R1 como verificada
- 21:29 6 nov 2013 Jalonso (discusión | contribuciones) protegió la página R1 [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 21:28 6 nov 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 26 de la página R1 como verificada
- 17:47 23 oct 2013 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 7 de la página R1 como verificada