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:42 3 ago 2018 Jalonso (discusión | contribuciones) trasladó la página MediaWiki:Demostración Asistida por Ordenador con Coq a MediaWiki:Mainpage (revertir)