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.

• 18:36 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 49 de la página Ejercicios como verificada
• 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:34 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 47 de la página Tema 3: Razonamiento sobre programas como verificada
• 18:34 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 46 de la página Tema 3: Razonamiento sobre programas como verificada
• 18:27 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 45 de la página Tema 2: Programación funcional en Isabelle como verificada
• 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)
• 18:18 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 42 de la página Rel 1 como verificada
• 18:16 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 41 de la página Ejercicios como verificada
• 18:12 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 40 de la página Relación 1 como verificada
• 18:10 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 39 de la página Ejercicios como verificada
• 18:07 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 38 de la página Ejercicios como verificada
• 18:04 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 37 de la página Tema 2: Programación funcional en Isabelle como verificada
• 18:02 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 36 de la página Tema 2: Programación funcional en Isabelle como verificada
• 18:01 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 35 de la página Tema 2: Programación funcional en Isabelle como verificada
• 17:59 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 34 de la página Temas como verificada
• 00:01 24 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 33 de la página Documentación como verificada
• 23:57 23 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 32 de la página Documentación como verificada
• 23:50 23 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 31 de la página Documentación como verificada
• 23:49 23 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 30 de la página Documentación como verificada
• 22:42 23 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 29 de la página Documentación como verificada
• 22:41 23 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 28 de la página Documentación como verificada
• 22:29 23 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 27 de la página DAO2012 (Demostración asistida por ordenador) como verificada
• 17:03 23 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 26 de la página Tema 2: Isabelle como un lenguaje funcional como verificada
• 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)
• 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)