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:42, 10 January 2020 Malaga (Talk | contribs) deleted page File:Maude-3.0-manual.pdf (Deleted old revision 20200110114033!Maude-3.0-manual.pdf: Duplicated file)
- 11:40, 10 January 2020 Malaga (Talk | contribs) uploaded a new version of "File:Maude-3.0-manual.pdf" (metaNarrowingApply and irreducibility constraints at the metalevel)
- 00:11, 10 January 2020 Malaga (Talk | contribs) uploaded a new version of "File:Maude-3.0-manual.pdf" (metaNarrowingApply and irreducibility constraints at the metalevel)
- 11:10, 28 December 2019 Malaga (Talk | contribs) uploaded a new version of "File:Maude-3.0-manual.pdf"
- 23:33, 20 December 2019 Malaga (Talk | contribs) uploaded "File:Maude-3.0-manual.pdf"