Vista combinada de todos los registros de Razonamiento automático (2010-11). 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.

• 21:44 21 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 185 de la página Rel 6 como verificada
• 21:43 21 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 184 de la página Razonamiento automático (2010-11) como verificada
• 10:12 21 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 183 de la página Razonamiento automático (2010-11) como verificada
• 09:49 21 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 182 de la página Misceláneas como verificada
• 09:48 21 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 181 de la página Razonamiento automático (2010-11) como verificada
• 00:51 15 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 168 de la página Rel 4 como verificada
• 00:50 15 feb 2011 Jalonso (discusión | contribuciones) protegió la página Rel 5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 00:50 15 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 166 de la página Rel 5 como verificada
• 00:49 15 feb 2011 Jalonso (discusión | contribuciones) protegió la página Rel 4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 00:49 15 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 164 de la página Rel 4 como verificada
• 00:48 15 feb 2011 Jalonso (discusión | contribuciones) protegió la página Rel 3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 00:48 15 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 162 de la página Rel 3 como verificada
• 00:47 15 feb 2011 Jalonso (discusión | contribuciones) protegió la página Rel 2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 00:46 15 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 160 de la página Rel 2 como verificada
• 00:46 15 feb 2011 Jalonso (discusión | contribuciones) protegió la página Rel 1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 00:45 15 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 158 de la página Rel 1 como verificada
• 00:44 15 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 157 de la página Razonamiento automático (2010-11) como verificada
• 00:43 15 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 156 de la página Razonamiento automático (2010-11) como verificada
• 00:41 15 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 155 de la página Razonamiento automático (2010-11) como verificada
• 00:39 15 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 154 de la página Razonamiento automático (2010-11) como verificada
• 00:22 15 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 153 de la página Razonamiento automático (2010-11) como verificada
• 00:21 15 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 152 de la página Razonamiento automático (2010-11) como verificada
• 00:09 15 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 151 de la página Relación 5 como verificada
• 00:07 15 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 150 de la página Razonamiento automático (2010-11) como verificada
• 22:40 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 148 de la página Relación 2 como verificada
• 21:54 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 145 de la página Relación 1 como verificada
• 21:54 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 144 de la página Relación 1 como verificada
• 14:34 10 feb 2011 Se ha creado la cuenta de usuario Enrique Sarrión (discusión | contribuciones)
• 19:25 8 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 100 de la página Relación 3 como verificada
• 12:01 8 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 99 de la página Razonamiento automático (2010-11) como verificada
• 12:00 8 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 98 de la página Razonamiento automático (2010-11) como verificada
• 11:57 8 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 97 de la página Razonamiento automático (2010-11) como verificada
• 11:56 8 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 96 de la página Relación 4 como verificada
• 11:55 8 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 95 de la página Razonamiento automático (2010-11) como verificada
• 11:34 4 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 80 de la página Deducción natural en lógica de primer orden con Isabelle/Isar como verificada
• 11:11 4 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 79 de la página Deducción natural en lógica de primer orden con Isabelle/Isar como verificada
• 11:10 4 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 78 de la página Deducción natural en lógica de primer orden con Isabelle/Isar como verificada
• 11:07 4 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 77 de la página Deducción natural en lógica de primer orden con Isabelle/Isar como verificada
• 11:04 4 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 76 de la página Deducción natural en lógica de primer orden con Isabelle/Isar como verificada
• 11:04 4 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 75 de la página Razonamiento automático (2010-11) como verificada
• 21:21 3 feb 2011 Se ha creado la cuenta de usuario Jmuros (discusión | contribuciones)
• 12:39 3 feb 2011 Se ha creado la cuenta de usuario Jgiraldez (discusión | contribuciones)
• 22:23 2 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 58 de la página Razonamiento automático (2010-11) como verificada
• 22:22 2 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 57 de la página Deducción natural en lógica proposicional con Isabelle/Isar como verificada
• 22:21 2 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 56 de la página Razonamiento automático (2010-11) como verificada
• 20:05 2 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 55 de la página Relación 1a como verificada
• 19:56 2 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 54 de la página Relación 1a como verificada
• 19:45 2 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 53 de la página Relación 1a como verificada
• 19:29 2 feb 2011 Jalonso (discusión | contribuciones) protegió la página Relación 1a ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:28 2 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 51 de la página Relación 1a como verificada