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.

• 11:03 5 ene 2016 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 200 de la página Temas LCyTM 2015 como verificada
• 09:59 9 feb 2015 WikiSysop (discusión | contribuciones) modificó los grupos a los que pertenece Mjoseh: de (ninguno) a bot, administrador y burócrata
• 09:49 9 feb 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 4 de la página Demostración automática de teoremas (2014-15) como verificada
• 09:45 9 feb 2015 WikiSysop (discusión | contribuciones) modificó los grupos a los que pertenece Jalonso: de (ninguno) a bot, administrador y burócrata
• 09:42 9 feb 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 3 de la página MediaWiki:Mainpage como verificada
• 09:41 9 feb 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 2 de la página MediaWiki:Sidebar como verificada