Difference between revisions of "All Maude 3 versions"
From The Maude System
(→Maude 3.2, 3.2.1, 3.2.2, 3.3, and 3.3.1) |
|||
Line 3: | Line 3: | ||
* Regarding the manual: | * Regarding the manual: | ||
* [https://maude.lcc.uma.es/maude321-manual-html/maude-manual.html Maude 3.2.1] | * [https://maude.lcc.uma.es/maude321-manual-html/maude-manual.html Maude 3.2.1] | ||
− | * [https://maude.lcc.uma.es/maude32-manual-html/maude-manual.html Maude 3.2 | + | * [https://maude.lcc.uma.es/maude32-manual-html/maude-manual.html Maude 3.2] |
==Maude 3.1== | ==Maude 3.1== |
Revision as of 17:58, 19 April 2023
Maude 3.2, 3.2.1, 3.2.2, 3.3, and 3.3.1
- Sources and binaries of all versions from 3.2 are available in the releases section of its github repo.
- Regarding the manual:
* Maude 3.2.1 * Maude 3.2
Maude 3.1
- Maude 3.1 (with Yices 2) for Linux64
- Maude 3.1 (with Yices 2) for Mac OS X
- Maude 3.1 source files
- Full Maude 3.1
- Maude 3.1 manual (pdf/html) and examples from the Maude 3.1 manual and book