File list
This special page shows all uploaded files.
Date | Name | Thumbnail | Size | User | Description | Versions |
---|---|---|---|---|---|---|
15:26, 19 February 2020 | Maude-3.0+cvc4-osx.zip (file) | 8 MB | Malaga | 1 | ||
21:21, 18 June 2019 | Maude-npa-v3 1 1.zip (file) | 13.02 MB | Malaga | 3 | ||
09:37, 12 September 2019 | Maude-npa-v3 1 2.zip (file) | 13.52 MB | Malaga | 1 | ||
22:02, 13 December 2019 | Maude-npa-v3 1 3.zip (file) | 13.52 MB | Malaga | 1 |
First page |
Previous page |
Next page |
Last page |