All public logs
Combined display of all available logs of The Maude System. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 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"