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.

• 13:59 3 mar 2015 Fjesus (discusión | contribuciones) marcó automáticamente la revisión 44 de la página Documentación como verificada
• 13:59 3 mar 2015 Fjesus (discusión | contribuciones) marcó automáticamente la revisión 43 de la página Documentación como verificada
• 11:51 3 mar 2015 Fjesus (discusión | contribuciones) marcó automáticamente la revisión 42 de la página Documentación como verificada
• 11:50 3 mar 2015 Fjesus (discusión | contribuciones) marcó automáticamente la revisión 41 de la página Documentación como verificada
• 11:33 3 mar 2015 Fjesus (discusión | contribuciones) marcó automáticamente la revisión 40 de la página Ejercicios como verificada
• 11:26 3 mar 2015 Fjesus (discusión | contribuciones) marcó automáticamente la revisión 39 de la página Temas como verificada
• 11:20 3 mar 2015 Fjesus (discusión | contribuciones) marcó automáticamente la revisión 38 de la página Temas como verificada