Vista combinada de todos los registros de Demostración asistida por ordenador (2011-12). 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.

• 20:19 24 feb 2013 Jalonso (discusión | contribuciones) desbloqueó a #2
• 20:18 24 feb 2013 Jalonso (discusión | contribuciones) desbloqueó a LorenaSR (discusión | contribuciones)
• 20:17 24 feb 2013 Jalonso (discusión | contribuciones) bloqueó a LorenaSR (discusión | contribuciones) durante un plazo de para siempre (desactivada la creación de cuentas, correo electrónico desactivado)
• 16:01 9 feb 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 70 de la página Tema 9: Patrones de demostración como verificada
• 15:55 9 feb 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 69 de la página Tema 8: Distinción de casos e inducción como verificada
• 20:33 2 feb 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 68 de la página Tema 7: El lenguaje de demostración Isar como verificada
• 21:08 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 67 de la página Tema 11: Caso de estudio: Compilación de expresiones como verificada
• 21:07 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 66 de la página Tema 12: Conjuntos, funciones y relaciones como verificada
• 21:06 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 65 de la página Tema 12: Conjuntos, funciones y relaciones como verificada
• 21:05 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 64 de la página Tema 11: Caso de estudio: Compilación de expresiones como verificada
• 21:03 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 63 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 17:28 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 62 de la página Tema 10: Heurísticas para la inducción y recursión general como verificada
• 17:27 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 61 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 15:07 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 60 de la página Tema 9: Patrones de demostración como verificada
• 15:06 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 59 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 14:48 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 58 de la página Tema 8: Distinción de casos e inducción como verificada
• 14:43 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 57 de la página Tema 8: Distinción de casos e inducción como verificada
• 13:12 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 56 de la página Tema 8: Distinción de casos e inducción como verificada
• 13:11 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 55 de la página Tema 8: Distinción de casos e inducción como verificada
• 13:10 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 54 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 11:45 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 53 de la página Tema 7: El lenguaje de demostración Isar como verificada
• 11:44 31 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 52 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 17:00 19 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 51 de la página Tema 6: Isabelle como un lenguaje funcional como verificada
• 16:56 19 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 50 de la página Tema 6: Isabelle como un lenguaje funcional como verificada
• 16:55 19 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 49 de la página Tema 6: Isabelle como un lenguaje funcional como verificada
• 16:54 19 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 48 de la página Tema 6: Isabelle como un lenguaje funcional como verificada
• 16:53 19 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 47 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 13:03 14 abr 2011 Jalonso (discusión | contribuciones) modificó los grupos a los que pertenece Mjoseh: de (ninguno) a bot y administrador
• 13:49 29 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 38 de la página Ejercicios del tema 3 como verificada
• 13:48 29 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 37 de la página Ejercicios del tema 3 como verificada
• 13:46 29 mar 2011 Jalonso (discusión | contribuciones) protegió la página Tema 3 ej ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:46 29 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 35 de la página Tema 3 ej como verificada
• 13:26 29 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 34 de la página Ejercicios como verificada
• 13:24 29 mar 2011 Jalonso (discusión | contribuciones) protegió la página Tema 3: Deducción lógica proposicional con Isabelle ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:24 29 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 32 de la página Tema 3: Deducción lógica proposicional con Isabelle como verificada
• 13:19 29 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 31 de la página Temas como verificada
• 20:34 22 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 28 de la página Relación 1 como verificada
• 20:33 22 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 27 de la página Relación 1 como verificada
• 18:25 8 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 25 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 00:07 2 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 24 de la página Ejercicios como verificada
• 00:06 2 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 23 de la página Temas como verificada
• 00:05 2 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 22 de la página Ejercicios como verificada
• 00:05 2 mar 2011 Jalonso (discusión | contribuciones) protegió la página Temas ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 00:05 2 mar 2011 Jalonso (discusión | contribuciones) protegió la página DAO2011 (Demostración asistida por ordenador) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 00:04 2 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 19 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 00:03 2 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 18 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 23:58 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 17 de la página Relación 1 como verificada
• 23:57 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 16 de la página Ejercicios como verificada
• 23:57 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 15 de la página Temas como verificada
• 23:56 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 14 de la página MediaWiki:Sidebar como verificada