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.

• 09:19 12 feb 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 153 de la página Documentación como verificada
• 09:18 12 feb 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 152 de la página Documentación como verificada
• 21:07 8 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 151 de la página Documentación como verificada
• 21:06 8 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 150 de la página Documentación como verificada
• 21:05 8 ene 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 149 de la página Documentación como verificada
• 16:53 22 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 148 de la página Ejercicios RA2013 como verificada
• 16:51 22 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 147 de la página Ejercicios RA2013 como verificada
• 16:50 22 oct 2013 Jalonso (discusión | contribuciones) trasladó la página Ejercicios a Ejercicios RA2013
• 10:44 20 ago 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 141 de la página Documentación como verificada
• 10:41 20 ago 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 140 de la página Documentación como verificada
• 16:08 20 jun 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 139 de la página Documentación como verificada
• 09:07 20 jun 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 138 de la página Temas como verificada
• 08: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
• 08: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
• 08:16 6 jun 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 135 de la página Ejercicios como verificada
• 07: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
• 07:59 6 jun 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 133 de la página Temas como verificada
• 15:38 23 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 132 de la página Documentación como verificada
• 13: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
• 13: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
• 13: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
• 13: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
• 13: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
• 13:42 23 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 126 de la página Ejercicios como verificada
• 13:40 23 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 125 de la página Ejercicios como verificada
• 13: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
• 13:03 23 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 123 de la página Temas como verificada
• 22: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
• 22: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
• 22:48 15 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 120 de la página Ejercicios como verificada
• 11: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
• 11: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
• 11: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
• 11: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
• 11:14 2 may 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 115 de la página Ejercicios como verificada
• 13:46 25 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 114 de la página Documentación como verificada
• 13: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
• 13: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
• 13:30 25 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 111 de la página Ejercicios como verificada
• 10: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
• 10:34 25 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 109 de la página Temas como verificada
• 10:00 14 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 108 de la página Documentación como verificada
• 09:59 14 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 107 de la página Documentación como verificada
• 09:45 14 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 106 de la página Documentación como verificada
• 10:00 12 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 105 de la página Documentación como verificada
• 14:05 11 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 104 de la página Documentación como verificada
• 13: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
• 13: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
• 13:44 11 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 101 de la página Ejercicios como verificada
• 13: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