Vista combinada de todos los registros de Demostración automática de teoremas (2014-15). 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.

• 10:18 31 mar 2016 Mjoseh (discusión | contribuciones) protegió la página Rel 11 (e) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 11:45 20 ene 2016 Mjoseh (discusión | contribuciones) protegió la página Tema 16: Semántica operacional del lenguaje imperativo simple IMP. ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 11:45 20 ene 2016 Mjoseh (discusión | contribuciones) protegió la página Rel 9 (e) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 11:45 20 ene 2016 Mjoseh (discusión | contribuciones) protegió la página Rel 8 (e) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 11:44 20 ene 2016 Mjoseh (discusión | contribuciones) protegió la página Rel 10 (e) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18:21 3 may 2015 Mjoseh (discusión | contribuciones) protegió la página R7 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 11:52 8 abr 2015 Mjoseh (discusión | contribuciones) protegió la página R6 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:49 8 abr 2015 Mjoseh (discusión | contribuciones) protegió la página R5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20:47 22 mar 2015 Mjoseh (discusión | contribuciones) protegió la página Tema 8: Razonamiento sobre programas en Isabelle/HOL. ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20:47 22 mar 2015 Mjoseh (discusión | contribuciones) protegió la página Tema 7: Programación funcional en Isabelle/HOL. ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20:47 22 mar 2015 Mjoseh (discusión | contribuciones) protegió la página R4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20:46 22 mar 2015 Mjoseh (discusión | contribuciones) protegió la página R3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:16 16 mar 2015 Mjoseh (discusión | contribuciones) protegió la página R2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 14:53 2 mar 2015 Mjoseh (discusión | contribuciones) protegió la página R1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:12 20 feb 2015 Mjoseh (discusión | contribuciones) modificó los grupos a los que pertenece Fjesus: de (ninguno) a bot, administrador y burócrata
• 09:44 9 feb 2015 Se ha creado la cuenta de usuario Mjoseh (discusión | contribuciones)