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).
- 15:24, 19 February 2020 Malaga (Talk | contribs) deleted page File:Maude-3.0+yices2-linux.zip (Deleted old revision 20200219152410!Maude-3.0+yices2-linux.zip: Wrong banner)
- 15:24, 19 February 2020 Malaga (Talk | contribs) uploaded a new version of "File:Maude-3.0+yices2-linux.zip"
- 00:46, 18 December 2019 Malaga (Talk | contribs) uploaded "File:Maude-3.0+yices2-linux.zip"