Difference between revisions of "All Maude 3 versions"
From The Maude System
(→Maude 3.0) |
|||
| (8 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| + | ==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 [https://github.com/SRI-CSL/Maude/releases/ the releases section of its github repo]. | ||
| + | * Regarding the manual: | ||
| + | - Manual for [https://maude.lcc.uma.es/maude321-manual-html/maude-manual.html Maude 3.2.1]. | ||
| + | - Manual for [https://maude.lcc.uma.es/maude32-manual-html/maude-manual.html Maude 3.2]. | ||
| + | |||
| + | ==Maude 3.1== | ||
| + | * [[Media:Maude-3.1-linux.zip|Maude 3.1 (with Yices 2) for Linux64]] | ||
| + | * [[Media:Maude-3.1-macos.zip|Maude 3.1 (with Yices 2) for Mac OS X]] | ||
| + | * [[Media:Maude-3.1.tar.gz|Maude 3.1 source files]] | ||
| + | * [[Media:Full-Maude-3.1.zip|Full Maude 3.1]] | ||
| + | * Maude 3.1 manual ([[Media:Maude-3.1-manual.pdf|pdf]]/[http://maude.lcc.uma.es/maude31-manual-html/maude-manual.html html]) and [[Media:Maude-3.1-manual-book-examples.zip|examples from the Maude 3.1 manual and book]] | ||
==Maude 3.0== | ==Maude 3.0== | ||
* [[Media:Maude-3.0+yices2-linux.zip|Maude 3.0 (with Yices 2) for Linux64]] | * [[Media:Maude-3.0+yices2-linux.zip|Maude 3.0 (with Yices 2) for Linux64]] | ||
| Line 6: | Line 18: | ||
* [[Media:Maude-3.0.tar.gz|Maude 3.0 source files]] | * [[Media:Maude-3.0.tar.gz|Maude 3.0 source files]] | ||
* [[Media:Full-Maude-3.0.zip|Full Maude 3.0]] | * [[Media:Full-Maude-3.0.zip|Full Maude 3.0]] | ||
| − | * [[Media:Maude-3.0-manual.pdf| | + | * Maude 3.0 manual ([[Media:Maude-3.0-manual.pdf|pdf]]/[http://maude.lcc.uma.es/maude30-manual-html/maude-manual.html html]) and [[Media:Maude-3.0-manual-book-examples.zip|examples from the Maude 3.0 manual and book]] |
Latest 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:
- Manual for Maude 3.2.1. - Manual for 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
