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).
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 03:35, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Maude-mode.tar.gz" (The Maude mode for XEmacs written by Kai Brünnler)
- 02:29, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Rwl.bib" (bibTeX file about Rewriting Logic without crossreferences.)
- 02:28, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Rwlcr.bib" (bibTeX file about Rewriting Logic that contains crossreferences to proceedings volumes.)
- 02:26, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Roadmap.ps" (Rewriting Logic: Roadmap and Bibliography by Narciso Martí-Oliet and José Meseguer.)
- 02:21, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Talk$Riocuarto-maude.pdf" (Narciso Martí-Oliet Maude summer course at Rio Cuarto, Argentina)
- 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)
- 04:03, 20 July 2014 Maudesystem (Talk | contribs) automatically marked revision 7 of page The Maude Project and Team patrolled
- 03:53, 20 July 2014 Maudesystem (Talk | contribs) automatically marked revision 6 of page Maude Overview patrolled
- 03:50, 20 July 2014 Maudesystem (Talk | contribs) automatically marked revision 5 of page The Maude System patrolled
- 03:42, 20 July 2014 Maudesystem (Talk | contribs) automatically marked revision 4 of page MediaWiki:Mainpage patrolled
- 03:37, 20 July 2014 Kquine (Talk | contribs) moved page Main Page to The Maude System
- 03:16, 20 July 2014 User account Kquine (Talk | contribs) was created by Maudesystem (Talk | contribs)