Difference between revisions of "Maude 2.6 Manual and Examples"
From The Maude System
(Created the Manual and Examples page) |
(No difference)
|
Latest revision as of 02:09, 22 July 2014
The Maude manual for Maude 2.6 is available in PDF format and as a html version below. The source code for the examples used in the manual is also available together with the examples from the Maude book. A list of known errata for the Maude book can be found here.