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.

• 20:44 21 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 185 de la página Rel 6 como verificada
• 20: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
• 09: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
• 08:49 21 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 182 de la página Misceláneas como verificada
• 08: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
• 23:51 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 168 de la página Rel 4 como verificada
• 23:50 14 feb 2011 Jalonso (discusión | contribuciones) protegió la página Rel 5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 23:50 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 166 de la página Rel 5 como verificada
• 23:49 14 feb 2011 Jalonso (discusión | contribuciones) protegió la página Rel 4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 23:49 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 164 de la página Rel 4 como verificada
• 23:48 14 feb 2011 Jalonso (discusión | contribuciones) protegió la página Rel 3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 23:48 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 162 de la página Rel 3 como verificada
• 23:47 14 feb 2011 Jalonso (discusión | contribuciones) protegió la página Rel 2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 23:46 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 160 de la página Rel 2 como verificada
• 23:46 14 feb 2011 Jalonso (discusión | contribuciones) protegió la página Rel 1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 23:45 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 158 de la página Rel 1 como verificada
• 23:44 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 157 de la página Razonamiento automático (2010-11) como verificada
• 23:43 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 156 de la página Razonamiento automático (2010-11) como verificada
• 23:41 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 155 de la página Razonamiento automático (2010-11) como verificada
• 23:39 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 154 de la página Razonamiento automático (2010-11) como verificada
• 23:22 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 153 de la página Razonamiento automático (2010-11) como verificada
• 23:21 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 152 de la página Razonamiento automático (2010-11) como verificada
• 23:09 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 151 de la página Relación 5 como verificada
• 23:07 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 150 de la página Razonamiento automático (2010-11) como verificada
• 21:40 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 148 de la página Relación 2 como verificada
• 20:54 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 145 de la página Relación 1 como verificada
• 20:54 14 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 144 de la página Relación 1 como verificada
• 13:34 10 feb 2011 Se ha creado la cuenta de usuario Enrique Sarrión (discusión | contribuciones)
• 18:25 8 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 100 de la página Relación 3 como verificada
• 11: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
• 11: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
• 10: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
• 10:56 8 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 96 de la página Relación 4 como verificada
• 10: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
• 10: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
• 10: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
• 10: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
• 10: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
• 10: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
• 10: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
• 20:21 3 feb 2011 Se ha creado la cuenta de usuario Jmuros (discusión | contribuciones)
• 11:39 3 feb 2011 Se ha creado la cuenta de usuario Jgiraldez (discusión | contribuciones)
• 21: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
• 21: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
• 21: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
• 19:05 2 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 55 de la página Relación 1a como verificada
• 18:56 2 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 54 de la página Relación 1a como verificada
• 18:45 2 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 53 de la página Relación 1a como verificada
• 18:29 2 feb 2011 Jalonso (discusión | contribuciones) protegió la página Relación 1a ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18:28 2 feb 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 51 de la página Relación 1a como verificada