Difference between revisions of "All Maude 3 versions"
From The Maude System
(→Maude 3.0) |
|||
Line 6: | Line 6: | ||
* [[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]] | ||
− | * Maude 3.0 manual ([[Media:Maude-3.0-manual.pdf|pdf]]/ | + | * Maude 3.0 manual ([[Media:Maude-3.0-manual.pdf|pdf]]/<href a=http://maude.lcc.uma.es/maude30-manual-html/maude-manual.html>html</href> and [[Media:Maude-3.0-manual-book-examples.zip|examples from the Maude 3.0 manual and book]] |
Revision as of 23:30, 20 December 2019
Maude 3.0
- Maude 3.0 (with Yices 2) for Linux64
- Maude 3.0 (with Yices 2) for Mac OS X
- Maude 3.0 (with CVC 4) for Linux64
- Maude 3.0 (with CVC 4) for Mac OS X
- Maude 3.0 source files
- Full Maude 3.0
- Maude 3.0 manual (pdf/<href a=http://maude.lcc.uma.es/maude30-manual-html/maude-manual.html>html</href> and examples from the Maude 3.0 manual and book