Todos los registros públicos
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.
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).- 09:29 26 ene 2017 Jalonso (discusión | contribuciones) protegió la página R10 [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 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)
- 07:52 26 ene 2017 Jalonso (discusión | contribuciones) eliminó la protección de Relación 9 (hist)
- 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) protegió la página R9 [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 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)
- 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)