Todos los registros públicos
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.
- 23:55 18 dic 2012 Jalonso (discusión | contribuciones) protegió la página Rel 4 [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 19:48 18 dic 2012 Jalonso (discusión | contribuciones) protegió la página Rel 3 [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 18:51 27 nov 2012 Jalonso (discusión | contribuciones) protegió la página Rel 2 [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 18:34 27 nov 2012 Jalonso (discusión | contribuciones) protegió la página Tema 3: Razonamiento sobre programas [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 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:18 27 nov 2012 Jalonso (discusión | contribuciones) protegió la página Rel 1 [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 19:47 20 nov 2012 Jalonso (discusión | contribuciones) protegió la página Tema 6: Heurísticas para la inducción y recursión general [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 19:47 20 nov 2012 Jalonso (discusión | contribuciones) protegió la página Tema 5: Patrones de demostración [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 19:46 20 nov 2012 Jalonso (discusión | contribuciones) protegió la página Tema 4: Distinción de casos e inducción [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 19:46 20 nov 2012 Jalonso (discusión | contribuciones) protegió la página Tema 3: El lenguaje de demostracion Isar [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 19:46 20 nov 2012 Jalonso (discusión | contribuciones) protegió la página Tema 2: Isabelle como un lenguaje funcional [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 19:45 20 nov 2012 Jalonso (discusión | contribuciones) protegió la página Temas [edit=sysop] (indefinido) [move=sysop] (indefinido) [en cascada] (hist)
- 19:44 20 nov 2012 Jalonso (discusión | contribuciones) protegió la página DAO2012 (Demostración asistida por ordenador) [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 18:24 20 nov 2012 WikiSysop (discusión | contribuciones) modificó los grupos a los que pertenece Jalonso: de (ninguno) a bot, administrador y burócrata
- 18:21 20 nov 2012 Se ha creado la cuenta de usuario Jalonso (discusión | contribuciones)