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)- 05:00, 5 May 2015 Maudesystem (Talk | contribs) automatically marked revision 66 of page Maude Tools:Order-sorted Term Patterns patrolled
- 04:57, 5 May 2015 Maudesystem (Talk | contribs) automatically marked revision 65 of page Maude Tools:Order-sorted Term Patterns patrolled
- 04:56, 5 May 2015 Maudesystem (Talk | contribs) automatically marked revision 64 of page Maude Tools:Order-sorted Term Patterns patrolled
- 04:56, 5 May 2015 Maudesystem (Talk | contribs) automatically marked revision 63 of page Maude Tools:Order-sorted Term Patterns patrolled
- 04:55, 5 May 2015 Maudesystem (Talk | contribs) automatically marked revision 62 of page Maude Tools:Order-sorted Term Patterns patrolled
- 22:27, 30 April 2015 Maudesystem (Talk | contribs) automatically marked revision 61 of page Maude Tools:Order-sorted Term Patterns patrolled
- 22:26, 30 April 2015 Maudesystem (Talk | contribs) automatically marked revision 60 of page Maude Tools:Order-sorted Term Patterns patrolled
- 22:24, 30 April 2015 Maudesystem (Talk | contribs) automatically marked revision 59 of page Maude Tools:Order-sorted Term Patterns patrolled
- 22:23, 30 April 2015 Maudesystem (Talk | contribs) automatically marked revision 58 of page Maude Tools:Order-sorted Term Patterns patrolled
- 20:46, 30 April 2015 Maudesystem (Talk | contribs) deleted page Maude Tools:Order-sorted Term Complements (Wrong name)
- 20:45, 30 April 2015 Maudesystem (Talk | contribs) automatically marked revision 57 of page Maude Tools patrolled
- 20:41, 30 April 2015 Maudesystem (Talk | contribs) automatically marked revision 56 of page Maude Tools:Order-sorted Term Complements patrolled
- 20:41, 30 April 2015 Maudesystem (Talk | contribs) automatically marked revision 55 of page Maude Tools:Order-sorted Term Complements patrolled
- 20:35, 30 April 2015 Maudesystem (Talk | contribs) automatically marked revision 54 of page Maude Tools patrolled
- 20:28, 30 April 2015 Maudesystem (Talk | contribs) automatically marked revision 53 of page Maude Tools patrolled
- 13:45, 9 August 2014 Kquine (Talk | contribs) automatically marked revision 52 of page The Maude System patrolled
- 18:54, 8 August 2014 Kquine (Talk | contribs) automatically marked revision 51 of page The Maude System patrolled
- 01:36, 8 August 2014 Maudesystem (Talk | contribs) changed group membership for User:Kquine from (none) to administrator
- 04:55, 23 July 2014 User account Malaga (Talk | contribs) was created by Maudesystem (Talk | contribs) and password was sent by email
- 04:00, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Maude-2.6-source.tar.gz" (Maude 2.6 source)
- 03:57, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Gmp-4.1.2.tar.gz" (GMP 4.1.2)
- 03:57, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Libtecla-1.5.0.tar.gz" (Tecla 1.5)
- 03:56, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Buddy22.tar.gz" (Buddy 2.2)
- 03:52, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Maude-2.6.tar.gz" (Maude 2.6)
- 03:42, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Full-maude.zip" (The latest version of Full Maude)
- 03:36, 22 July 2014 Kquine (Talk | contribs) uploaded "File:Maude-mode2.el.zip" (the Maude mode written by Ellef Gjelstad)
- 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)