Vista combinada de todos los registros de Demostración asistida por ordenador (2011-12). 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.

• 19:19 24 feb 2013 Jalonso (discusión | contribuciones) desbloqueó a #2
• 19:18 24 feb 2013 Jalonso (discusión | contribuciones) desbloqueó a LorenaSR (discusión | contribuciones)
• 19:17 24 feb 2013 Jalonso (discusión | contribuciones) bloqueó a LorenaSR (discusión | contribuciones) durante un plazo de para siempre (desactivada la creación de cuentas, correo electrónico desactivado)
• 12:03 14 abr 2011 Jalonso (discusión | contribuciones) modificó los grupos a los que pertenece Mjoseh: de (ninguno) a bot y administrador
• 12:46 29 mar 2011 Jalonso (discusión | contribuciones) protegió la página Tema 3 ej ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 12:24 29 mar 2011 Jalonso (discusión | contribuciones) protegió la página Tema 3: Deducción lógica proposicional con Isabelle ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 23:05 1 mar 2011 Jalonso (discusión | contribuciones) protegió la página Temas ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 23:05 1 mar 2011 Jalonso (discusión | contribuciones) protegió la página DAO2011 (Demostración asistida por ordenador) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 22:54 1 mar 2011 Jalonso (discusión | contribuciones) protegió la página Rel 1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 22:18 1 mar 2011 Se ha creado la cuenta de usuario Jalonso (discusión | contribuciones)