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.

• 16:55 19 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 49 de la página Tema 6: Isabelle como un lenguaje funcional como verificada
• 16:54 19 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 48 de la página Tema 6: Isabelle como un lenguaje funcional como verificada
• 16:53 19 ene 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 47 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 15:33 14 abr 2011 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 46 de la página Ejercicios del tema 4 como verificada
• 15:33 14 abr 2011 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 45 de la página Tema 4 ej como verificada
• 15:33 14 abr 2011 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 44 de la página Ejercicios como verificada
• 15:28 14 abr 2011 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 43 de la página Tema 4: Deducción natural en lógica de primer orden con Isabelle como verificada
• 15:27 14 abr 2011 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 42 de la página Tema 4: Deducción natural en lógica de primer orden con Isabelle como verificada
• 15:26 14 abr 2011 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 41 de la página Tema 4: Deducción natural en lógica de primer orden con Isabelle como verificada
• 15:25 14 abr 2011 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 40 de la página Temas como verificada
• 13:03 14 abr 2011 Jalonso (discusión | contribuciones) modificó los grupos a los que pertenece Mjoseh: de (ninguno) a bot y administrador
• 12:34 14 abr 2011 Se ha creado la cuenta de usuario Mjoseh (discusión | contribuciones)
• 13:49 29 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 38 de la página Ejercicios del tema 3 como verificada
• 13:48 29 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 37 de la página Ejercicios del tema 3 como verificada
• 13:46 29 mar 2011 Jalonso (discusión | contribuciones) protegió la página Tema 3 ej ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:46 29 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 35 de la página Tema 3 ej como verificada
• 13:26 29 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 34 de la página Ejercicios como verificada
• 13: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)
• 13:24 29 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 32 de la página Tema 3: Deducción lógica proposicional con Isabelle como verificada
• 13:19 29 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 31 de la página Temas como verificada
• 20:34 22 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 28 de la página Relación 1 como verificada
• 20:33 22 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 27 de la página Relación 1 como verificada
• 21:40 18 mar 2011 Se ha creado la cuenta de usuario LorenaSR (discusión | contribuciones)
• 18:25 8 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 25 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 18:23 3 mar 2011 Se ha creado la cuenta de usuario Maricumpli (discusión | contribuciones)
• 00:07 2 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 24 de la página Ejercicios como verificada
• 00:06 2 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 23 de la página Temas como verificada
• 00:05 2 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 22 de la página Ejercicios como verificada
• 00:05 2 mar 2011 Jalonso (discusión | contribuciones) protegió la página Temas ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 00:05 2 mar 2011 Jalonso (discusión | contribuciones) protegió la página DAO2011 (Demostración asistida por ordenador) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 00:04 2 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 19 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 00:03 2 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 18 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 23:58 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 17 de la página Relación 1 como verificada
• 23:57 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 16 de la página Ejercicios como verificada
• 23:57 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 15 de la página Temas como verificada
• 23:56 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 14 de la página MediaWiki:Sidebar como verificada
• 23:56 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 13 de la página MediaWiki:Sidebar como verificada
• 23:54 1 mar 2011 Jalonso (discusión | contribuciones) protegió la página Rel 1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 23:53 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 11 de la página Rel 1 como verificada
• 23:50 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 10 de la página Rel 1 como verificada
• 23:46 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 9 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 23:43 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 8 de la página Tema 2: Razonamiento sobre programas como verificada
• 23:42 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 7 de la página Tema 2: Razonamiento sobre programas como verificada
• 23:32 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 6 de la página Tema 1: Isabelle como un lenguaje funcional como verificada
• 23:30 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 5 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 23:25 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 4 de la página DAO2011 (Demostración asistida por ordenador) como verificada
• 23:24 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 3 de la página MediaWiki:Mainpage como verificada
• 23:22 1 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 2 de la página MediaWiki:Sidebar como verificada
• 23:21 1 mar 2011 WikiSysop (discusión | contribuciones) modificó los grupos a los que pertenece Jalonso: de (ninguno) a bot, administrador y burócrata
• 23:18 1 mar 2011 Se ha creado la cuenta de usuario Jalonso (discusión | contribuciones)