Vista combinada de todos los registros de DAO con Coq. 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.

• 12:40 3 ago 2018 Jalonso (discusión | contribuciones) trasladó la página MediaWiki:Mainpage a MediaWiki:Demostración Asistida por Ordenador con Coq sin dejar una redirección