Difference between revisions of "Maude Manual and Examples"

From The Maude System
Jump to: navigation, search
(Created page with "The Maude book for Maude 2.7 is available in PDF format and as a HTML version. The source code for the examples used in the manual is also available...")
 
(Updated page to update link so that it not points to the latest version of the Maude manual.)
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
The Maude book for Maude 2.7 is available in [[Media:Maude-book.pdf|PDF format]] and as a HTML version.  
+
== Manual - Latest Version ==
 +
 
 +
The Maude manual for Maude 2.7.1 is available in [[Media:Maude-2.7.1-manual.pdf|PDF format]] and as a [http://maude.lcc.uma.es/manual271/maude-manual.html HTML] version.  
 
The source code for the examples
 
The source code for the examples
used in the manual is also available [[Media:manual-book-examples.zip|here]] together with the examples  
+
used in the manual is also available [[Media:Maude-2.7.1-manual-book-examples.zip|here]] together with the examples  
 
from the Maude book.
 
from the Maude book.
 +
 +
== Additional Resources ==
  
 
The primer for Maude 2.0.1 (but mostly applicable for later versions too) is available [[Maude 2 Primer and Examples|here]].
 
The primer for Maude 2.0.1 (but mostly applicable for later versions too) is available [[Maude 2 Primer and Examples|here]].

Revision as of 21:16, 31 October 2016

Manual - Latest Version

The Maude manual for Maude 2.7.1 is available in PDF format and as a HTML version. The source code for the examples used in the manual is also available here together with the examples from the Maude book.

Additional Resources

The primer for Maude 2.0.1 (but mostly applicable for later versions too) is available here.