User contributions
- 13:45, 9 August 2014 (diff | hist) . . (+95) . . The Maude System (Undo revision 51 by Kquine (talk))
- 18:54, 8 August 2014 (diff | hist) . . (-95) . . m The Maude System (Reverted edits by Kquine (talk) to last revision by Maudesystem)
- 00:31, 8 August 2014 (diff | hist) . . (+76) . . Maude Tools (Added a narrowing-based model checker)
- 04:10, 22 July 2014 (diff | hist) . . (+30) . . m Rewriting Logic
- 04:09, 22 July 2014 (diff | hist) . . (+37) . . The Maude System
- 04:07, 22 July 2014 (diff | hist) . . (+35) . . m The Maude System
- 04:06, 22 July 2014 (diff | hist) . . (+139) . . N List of the changes from 2.5 to 2.6 (Created: the list of changes from 2.5 to 2.6) (current)
- 04:04, 22 July 2014 (diff | hist) . . (+22) . . m Maude download and installation
- 04:02, 22 July 2014 (diff | hist) . . (+23) . . m The Maude System
- 04:01, 22 July 2014 (diff | hist) . . (+763) . . N Compiling Maude from source (Created the Maude source download page) (current)
- 04:00, 22 July 2014 (diff | hist) . . (+16) . . N File:Maude-2.6-source.tar.gz (Maude 2.6 source) (current)
- 03:57, 22 July 2014 (diff | hist) . . (+9) . . N File:Gmp-4.1.2.tar.gz (GMP 4.1.2) (current)
- 03:57, 22 July 2014 (diff | hist) . . (+9) . . N File:Libtecla-1.5.0.tar.gz (Tecla 1.5) (current)
- 03:56, 22 July 2014 (diff | hist) . . (+9) . . N File:Buddy22.tar.gz (Buddy 2.2) (current)
- 03:53, 22 July 2014 (diff | hist) . . (+2,919) . . N Maude download and installation (Created the download page)
- 03:52, 22 July 2014 (diff | hist) . . (+9) . . N File:Maude-2.6.tar.gz (Maude 2.6) (current)
- 03:42, 22 July 2014 (diff | hist) . . (+32) . . N File:Full-maude.zip (The latest version of Full Maude) (current)
- 03:36, 22 July 2014 (diff | hist) . . (+40) . . N File:Maude-mode2.el.zip (the Maude mode written by Ellef Gjelstad) (current)
- 03:35, 22 July 2014 (diff | hist) . . (+50) . . N File:Maude-mode.tar.gz (The Maude mode for XEmacs written by Kai Brünnler) (current)
- 03:26, 22 July 2014 (diff | hist) . . (+415) . . N Maude License Agreement (Created the license page) (current)
- 02:47, 22 July 2014 (diff | hist) . . (+638) . . N Other Tools (Created the other tools page) (current)
- 02:35, 22 July 2014 (diff | hist) . . (+1,105) . . N Maude Tools (Created the tool page)
- 02:30, 22 July 2014 (diff | hist) . . (+298) . . N Roadmap and Bibliography (Created the Roadmap and Bibliography page) (current)
- 02:29, 22 July 2014 (diff | hist) . . (+58) . . N File:Rwl.bib (bibTeX file about Rewriting Logic without crossreferences.) (current)
- 02:28, 22 July 2014 (diff | hist) . . (+87) . . N File:Rwlcr.bib (bibTeX file about Rewriting Logic that contains crossreferences to proceedings volumes.) (current)
- 02:26, 22 July 2014 (diff | hist) . . (+85) . . N File:Roadmap.ps (Rewriting Logic: Roadmap and Bibliography by Narciso Martí-Oliet and José Meseguer.) (current)
- 02:24, 22 July 2014 (diff | hist) . . (+1,000) . . N Some Talks on Maude and on Rewriting Logic (Created the Talks page) (current)
- 02:21, 22 July 2014 (diff | hist) . . (+66) . . N File:Talk$Riocuarto-maude.pdf (Narciso Martí-Oliet Maude summer course at Rio Cuarto, Argentina) (current)
- 02:20, 22 July 2014 (diff | hist) . . (+109) . . N File:Talk$Maude-padl10-slides.pdf (Narciso Martí-Oliet An Introduction to Maude and some of its applications - Invited talk given at PADL 2010) (current)
- 02:20, 22 July 2014 (diff | hist) . . (+53) . . N File:Talk$Leicester-20071023 Maude.pdf (Artur Boronat PhD seminar at University of Leicester) (current)
- 02:19, 22 July 2014 (diff | hist) . . (+103) . . N File:Talk$Eker-unification.pdf (Steven Eker Unification in Maude at Protocol eXchange Seminar, Naval Postgraduate School, January 2007) (current)
- 02:15, 22 July 2014 (diff | hist) . . (-5) . . m Maude Mailing Lists
- 02:09, 22 July 2014 (diff | hist) . . (+521) . . N Maude 2.6 Manual and Examples (Created the Manual and Examples page) (current)
- 02:08, 22 July 2014 (diff | hist) . . (+21) . . N File:Manual-book-examples.zip (Maude manual examples)
- 02:07, 22 July 2014 (diff | hist) . . (+39) . . N File:Maude-manual.pdf (The most recent version of Maude manual)
- 02:01, 22 July 2014 (diff | hist) . . (+224) . . N Maude 2 Primer and Examples (Created the Maude Primer page) (current)
- 01:59, 22 July 2014 (diff | hist) . . (+21) . . N File:Maude-primer-Ex.tar.gz (Maude primer examples) (current)
- 01:54, 22 July 2014 (diff | hist) . . (+30) . . N File:Maude-primer.pdf (A Maude primer for Maude 2.0.1) (current)
- 01:11, 22 July 2014 (diff | hist) . . (+6) . . m Maude Overview (current)
- 01:10, 22 July 2014 (diff | hist) . . (+1,139) . . N Maude Mailing Lists (Created the mailing list site)
- 01:00, 22 July 2014 (diff | hist) . . (+570) . . m Rewriting Logic (Updated workshops)
- 23:29, 21 July 2014 (diff | hist) . . (+127) . . Rewriting Logic (Some workshops)
- 18:11, 21 July 2014 (diff | hist) . . (-4) . . Rewriting Logic (Elan link fixed)
- 18:07, 21 July 2014 (diff | hist) . . (+14) . . Maude Overview (Added a link)
- 18:06, 21 July 2014 (diff | hist) . . (+1,657) . . N Rewriting Logic (Created Rewriting Logic from the old page)
- 03:37, 20 July 2014 (diff | hist) . . (0) . . m The Maude System (Kquine moved page Main Page to The Maude System)
- 03:37, 20 July 2014 (diff | hist) . . (+30) . . N Main Page (Kquine moved page Main Page to The Maude System) (current)