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.

• 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)
• 19:38 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 18 de la página Tema 6: Heurísticas para la inducción y recursión general como verificada
• 19:36 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 17 de la página Tema 5: Patrones de demostración como verificada
• 19:35 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 16 de la página Tema 4: Distinción de casos e inducción como verificada
• 19:34 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 15 de la página Tema 4: Distinción de casos e inducción como verificada
• 19:33 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 14 de la página Tema 3: El lenguaje de demostracion Isar como verificada
• 19:33 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 13 de la página Tema 3: El lenguaje de demostracion Isar como verificada
• 19:32 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 12 de la página Tema 3: El lenguaje de demostracion Isar como verificada
• 19:30 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 11 de la página Temas como verificada
• 19:30 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 10 de la página Temas como verificada
• 19:26 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 9 de la página Tema 2: Isabelle como un lenguaje funcional como verificada
• 19:22 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 8 de la página Temas como verificada
• 19:21 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 7 de la página Temas como verificada
• 18:35 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 6 de la página DAO2012 (Demostración asistida por ordenador) como verificada
• 18:33 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 5 de la página DAO2012 (Demostración asistida por ordenador) como verificada
• 18:29 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 4 de la página MediaWiki:Mainpage como verificada
• 18:29 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 3 de la página MediaWiki:Sidebar como verificada
• 18:26 20 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 2 de la página MediaWiki:Mainpage como verificada
• 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)