Difference between revisions of "All Maude 3 versions"
From The Maude System
Line 1: | Line 1: | ||
==Maude 3.1== | ==Maude 3.1== | ||
− | * [[Media:Maude-3.1.zip|Maude 3.1 (with Yices 2) for Linux64]] | + | * [[Media:Maude-3.1-linux.zip|Maude 3.1 (with Yices 2) for Linux64]] |
− | * [[Media:Maude-3.1.zip|Maude 3.1 (with Yices 2) for Mac OS X]] | + | * [[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:Maude-3.1.tar.gz|Maude 3.1 source files]] | ||
* [[Media:Full-Maude-3.1.zip|Full Maude 3.1]] | * [[Media:Full-Maude-3.1.zip|Full Maude 3.1]] |
Revision as of 22:23, 18 October 2020
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