Vista combinada de todos los registros de Razonamiento automático (2016-17). 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:41 8 feb 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1448 de la página Temas como verificada
• 16:39 2 feb 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1447 de la página Tema 10: Conjuntos, funciones y relaciones como verificada
• 16:12 26 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1378 de la página Sistemas como verificada
• 09:29 26 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1374 de la página Relación 10 como verificada
• 09:29 26 ene 2017 Jalonso (discusión | contribuciones) protegió la página R10 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:29 26 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1372 de la página R10 como verificada
• 09:28 26 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1371 de la página Ejercicios como verificada
• 09:05 26 ene 2017 Jalonso (discusión | contribuciones) protegió la página Tema 10: Conjuntos, funciones y relaciones ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:05 26 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1368 de la página Tema 10: Conjuntos, funciones y relaciones como verificada
• 08:10 26 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1367 de la página Temas como verificada
• 07:52 26 ene 2017 Jalonso (discusión | contribuciones) eliminó la protección de Relación 9 (hist)
• 21:21 25 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1365 de la página Relación 9 como verificada
• 21:02 25 ene 2017 Jalonso (discusión | contribuciones) protegió la página Relación 9 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 14:07 19 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1329 de la página Relación 9 como verificada
• 14:07 19 ene 2017 Jalonso (discusión | contribuciones) protegió la página R9 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 14:07 19 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1327 de la página R9 como verificada
• 14:06 19 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1326 de la página Ejercicios como verificada
• 13:14 19 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1325 de la página Relación 8 como verificada
• 12:27 19 ene 2017 Jalonso (discusión | contribuciones) protegió la página Relación 8 ‎[edit=sysop] (caduca el 10:27 20 ene 2017 (UTC)) [move=sysop] (caduca el 10:27 20 ene 2017 (UTC)) (hist)
• 21:33 12 ene 2017 Jalonso (discusión | contribuciones) eliminó la protección de Relación 8 (hist)
• 13:00 12 ene 2017 Jalonso (discusión | contribuciones) protegió la página R8 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:00 12 ene 2017 Jalonso (discusión | contribuciones) protegió la página Relación 8 ‎[edit=sysop] (caduca el 11:00 13 ene 2017 (UTC)) [move=sysop] (caduca el 11:00 13 ene 2017 (UTC)) (hist)
• 12:58 12 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1239 de la página Relación 8 como verificada
• 12:58 12 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1238 de la página R8 como verificada
• 12:57 12 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1237 de la página Ejercicios como verificada
• 08:53 12 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1236 de la página Tema 9b: Deducción natural en lógica de primer orden con Isabelle/HOL como verificada
• 08:51 12 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1235 de la página Tema 8b: Deducción natural proposicional con Isabelle/HOL como verificada
• 08:50 12 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1234 de la página Tema 8b: Deducción natural proposicional con Isabelle/HOL como verificada
• 08:46 12 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1233 de la página Temas como verificada
• 08:45 12 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1232 de la página Temas como verificada
• 09:17 3 ene 2017 Jalonso (discusión | contribuciones) eliminó la protección de Relación 7 (hist)
• 13:37 22 dic 2016 Jalonso (discusión | contribuciones) protegió la página Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:36 22 dic 2016 Jalonso (discusión | contribuciones) protegió la página Tema 5: Razonamiento sobre árboles y bosques ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:36 22 dic 2016 Jalonso (discusión | contribuciones) protegió la página Tema 6a: Verificación de la ordenación por inserción ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:36 22 dic 2016 Jalonso (discusión | contribuciones) protegió la página Tema 6b: Verificación de la ordenación por mezcla ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:35 22 dic 2016 Jalonso (discusión | contribuciones) protegió la página Tema 7: Caso de estudio: Compilación de expresiones ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:35 22 dic 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1209 de la página Tema 7: Caso de estudio: Compilación de expresiones como verificada
• 13:34 22 dic 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1208 de la página Temas como verificada
• 10:26 22 dic 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1207 de la página Relación 7 como verificada
• 10:00 22 dic 2016 Jalonso (discusión | contribuciones) protegió la página Relación 7 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:54 18 dic 2016 Jalonso (discusión | contribuciones) eliminó la protección de Relación 6 (hist)
• 12:10 18 dic 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1093 de la página Relación 7 como verificada
• 12:10 18 dic 2016 Jalonso (discusión | contribuciones) protegió la página R7 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:10 18 dic 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1091 de la página R7 como verificada
• 12:09 18 dic 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1090 de la página Ejercicios como verificada
• 14:09 15 dic 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1089 de la página Tema 6b: Verificación de la ordenación por mezcla como verificada
• 13:57 15 dic 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1088 de la página Tema 6a: Verificación de la ordenación por inserción como verificada
• 13:56 15 dic 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1087 de la página Tema 6a: Verificación de la ordenación por inserción como verificada
• 13:44 15 dic 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1086 de la página Temas como verificada
• 13:38 15 dic 2016 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1085 de la página Relación 6 como verificada