Upload log
Below is a list of the most recent file uploads. See the gallery of new files for a more visual overview.
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)- 12:09, 19 March 2024 Malaga (Talk | contribs) uploaded "File:Maude-3.4-manual-book-examples.zip"
- 20:14, 17 March 2024 Malaga (Talk | contribs) uploaded "File:Maude34manual.pdf"
- 20:05, 17 March 2024 Malaga (Talk | contribs) uploaded "File:Maude-manual-34.pdf" (Maude Manual 3.4)
- 16:52, 19 April 2023 Malaga (Talk | contribs) uploaded "File:Maude-3.3.1-manual-book-examples.zip"
- 16:49, 19 April 2023 Malaga (Talk | contribs) uploaded "File:Maude-3.3.1-manual.pdf"
- 11:39, 16 March 2023 Malaga (Talk | contribs) uploaded a new version of "File:Maude-3.2.1-manual.pdf"
- 11:37, 16 March 2023 Malaga (Talk | contribs) uploaded a new version of "File:Maude-3.2.1-manual.pdf"
- 19:01, 7 April 2022 Malaga (Talk | contribs) uploaded a new version of "File:Maude-3.2.1-manual.pdf" (Update of the Maude 3.2.1 Manual (with directory and time))
- 17:24, 22 February 2022 Malaga (Talk | contribs) uploaded "File:Maude-3.2.1-manual.pdf"
- 14:25, 22 February 2022 Malaga (Talk | contribs) uploaded "File:Full-Maude-3.2.1.zip"
- 17:46, 18 February 2022 Malaga (Talk | contribs) uploaded "File:Full-Maude-3.2.zip"
- 16:44, 18 February 2022 Malaga (Talk | contribs) uploaded "File:Maude-3.2-manual.pdf"
- 15:16, 30 December 2020 Malaga (Talk | contribs) uploaded "File:Durán.Mesegue.Rocha.Ground Confluence of Order-sorted Conditional Specifications Modulo Axioms.TR.pdf"
- 15:12, 30 December 2020 Malaga (Talk | contribs) uploaded "File:Maude-jlamp.pdf"
- 15:09, 30 December 2020 Malaga (Talk | contribs) uploaded "File:CRChC.pdf"
- 15:08, 30 December 2020 Malaga (Talk | contribs) uploaded "File:CDELMMQspecprog 2001.pdf"
- 15:08, 30 December 2020 Malaga (Talk | contribs) uploaded "File:MPMea 2003.pdf"
- 15:08, 30 December 2020 Malaga (Talk | contribs) uploaded "File:MartiOlietEtAl03-journal.pdf"
- 15:01, 30 December 2020 Malaga (Talk | contribs) uploaded "File:BMgrt 2003.pdf"
- 15:01, 30 December 2020 Malaga (Talk | contribs) uploaded "File:MMroadmap 2001.pdf"