Todos los registros públicos
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.
- 13:00 20 ago 2018 Jalonso (discusión | contribuciones) subió Archivo:T6 Logica.v
- 09:49 12 ago 2018 Jalonso (discusión | contribuciones) subió Archivo:T5 Tacticas.v
- 17:36 4 ago 2018 Jalonso (discusión | contribuciones) subió Archivo:T4 PolimorfismoyOS.v
- 12:47 3 ago 2018 Jalonso (discusión | contribuciones) subió Archivo:T3 Listas.v
- 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)
- 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
- 15:07 31 jul 2018 Jalonso (discusión | contribuciones) subió una nueva versión de Archivo:T1 PF en Coq.v
- 15:06 31 jul 2018 Jalonso (discusión | contribuciones) subió Archivo:T2 Induccion.v
- 14:33 31 jul 2018 Jalonso (discusión | contribuciones) book (Usuario:Jalonso exportado como libro en PDF)
- 19:49 28 jul 2018 Jalonso (discusión | contribuciones) subió una nueva versión de Archivo:T1 PF en Coq.v
- 19:48 28 jul 2018 Jalonso (discusión | contribuciones) borró la página Archivo:Jardin.jpg
- 19:48 28 jul 2018 Jalonso (discusión | contribuciones) borró la página Archivo:Z.hs
- 17:50 27 jul 2018 Jalonso (discusión | contribuciones) borró la página DAO (demostración asistida por ordenador) con Coq. (Petición del autor: el contenido era: «Apuntes de demostración asistida por ordenador con [https://coq.inria.fr/ Coq] para los cursos de * [http://www.cs.us.es/~jal…», y el único autor fue «Jalonso» ([[User ta…)
- 17:49 27 jul 2018 Jalonso (discusión | contribuciones) borró la página DAO (demostración asistida por ordenador) con Coq (Petición del autor: el contenido era: «Apuntes de demostración asistida por ordenador con [https://coq.inria.fr/ Coq] para los cursos de * [http://www.cs.us.es/~jal…», y el único autor fue «Jalonso» ([[User ta…)
- 15:32 27 jul 2018 Jalonso (discusión | contribuciones) subió Archivo:T1 PF en Coq.v
- 15:30 27 jul 2018 Jalonso (discusión | contribuciones) subió Archivo:Z.hs
- 15:07 27 jul 2018 Jalonso (discusión | contribuciones) subió Archivo:Jardin.jpg