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

• 08:19 12 feb 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 153 de la página Documentación como verificada
• 08:18 12 feb 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 152 de la página Documentación como verificada
• 20:07 8 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 151 de la página Documentación como verificada
• 20:06 8 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 150 de la página Documentación como verificada
• 20:05 8 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 149 de la página Documentación como verificada
• 15:53 22 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 148 de la página Ejercicios RA2013 como verificada
• 15:51 22 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 147 de la página Ejercicios RA2013 como verificada
• 15:50 22 oct 2013 Jalonso (discusión | contribuciones) trasladó la página Ejercicios a Ejercicios RA2013
• 09:44 20 ago 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 141 de la página Documentación como verificada
• 09:41 20 ago 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 140 de la página Documentación como verificada
• 15:08 20 jun 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 139 de la página Documentación como verificada
• 08:07 20 jun 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 138 de la página Temas como verificada
• 07:19 6 jun 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 137 de la página RA12 Relación 23 como verificada
• 07:17 6 jun 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 136 de la página RA12 Relación 22 como verificada
• 07:16 6 jun 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 135 de la página Ejercicios como verificada
• 06:59 6 jun 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 134 de la página Tema 8: Conjuntos, funciones y relaciones como verificada
• 06:59 6 jun 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 133 de la página Temas como verificada
• 14:38 23 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 132 de la página Documentación como verificada
• 12:49 23 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 131 de la página RA12 Relación 21 como verificada
• 12:48 23 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 130 de la página RA12 Relación 20 como verificada
• 12:47 23 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 129 de la página RA12 Relación 19 como verificada
• 12:46 23 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 128 de la página RA12 Relación 18 como verificada
• 12:44 23 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 127 de la página RA12 Relación 17 como verificada
• 12:42 23 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 126 de la página Ejercicios como verificada
• 12:40 23 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 125 de la página Ejercicios como verificada
• 12:04 23 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 124 de la página Tema 7: Caso de estudio: Compilacion de expresiones como verificada
• 12:03 23 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 123 de la página Temas como verificada
• 21:51 15 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 122 de la página RA12 Relación 16 como verificada
• 21:49 15 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 121 de la página RA12 Relación 15 como verificada
• 21:48 15 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 120 de la página Ejercicios como verificada
• 10:20 2 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 119 de la página RA12 Relación 14 como verificada
• 10:18 2 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 118 de la página RA12 Relación 13 como verificada
• 10:17 2 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 117 de la página RA12 Relación 12 como verificada
• 10:15 2 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 116 de la página RA12 Relación 11 como verificada
• 10:14 2 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 115 de la página Ejercicios como verificada
• 12:46 25 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 114 de la página Documentación como verificada
• 12:33 25 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 113 de la página RA12 Relación 10 como verificada
• 12:31 25 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 112 de la página RA12 Relación 9 como verificada
• 12:30 25 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 111 de la página Ejercicios como verificada
• 09:34 25 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 110 de la página Tema 6: Razonamiento por casos y por inducción en Isabelle/HOL como verificada
• 09:34 25 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 109 de la página Temas como verificada
• 09:00 14 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 108 de la página Documentación como verificada
• 08:59 14 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 107 de la página Documentación como verificada
• 08:45 14 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 106 de la página Documentación como verificada
• 09:00 12 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 105 de la página Documentación como verificada
• 13:05 11 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 104 de la página Documentación como verificada
• 12:48 11 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 103 de la página RA12 Relación 8 como verificada
• 12:45 11 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 102 de la página RA12 Relación 7 como verificada
• 12:44 11 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 101 de la página Ejercicios como verificada
• 12:40 11 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 100 de la página Tema 5: Razonamiento sobre programas como verificada