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 100 | older 100) (20 | 50 | 100 | 250 | 500)- 02:20, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Talk$Maude-padl10-slides.pdf" (Narciso MartÃ-Oliet An Introduction to Maude and some of its applications - Invited talk given at PADL 2010)
- 02:20, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Talk$Leicester-20071023 Maude.pdf" (Artur Boronat PhD seminar at University of Leicester)
- 02:19, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Talk$Eker-unification.pdf" (Steven Eker Unification in Maude at Protocol eXchange Seminar, Naval Postgraduate School, January 2007)
- 02:08, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Manual-book-examples.zip" (Maude manual examples)
- 02:07, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Maude-manual.pdf" (The most recent version of Maude manual)
- 01:59, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Maude-primer-Ex.tar.gz" (Maude primer examples)
- 01:54, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Maude-primer.pdf" (A Maude primer for Maude 2.0.1)