Difference between revisions of "All Maude 2 versions"
From The Maude System
Maudesystem (Talk | contribs) |
|||
(7 intermediate revisions by one other user not shown) | |||
Line 1: | Line 1: | ||
− | |||
− | |||
− | ==Maude 2.1== | + | ==Maude 2.7.1== |
− | [ | + | * [[Media:Maude-2.7.1-linux.zip|Maude 2.7.1 for Linux64]] |
+ | * [[Media:Maude-2.7.1-osx.zip|Maude 2.7.1 for Mac OS X]] | ||
+ | * [[Media:Maude-2.7.1+cvc4-linux.zip|Maude 2.7.1 (with CVC4) for Linux64]] | ||
+ | * [[Media:Maude-2.7.1+cvc4-osx.zip|Maude 2.7.1 (with CVC4) for Mac OS X]] | ||
+ | * [[Media:Maude-2.7.1.tar.gz|Maude 2.7.1 source files]] | ||
+ | * [[Media:Full-Maude-2.7.1.zip|Full Maude 2.7.1]] | ||
+ | * [[Media:Maude-2.7.1-manual.pdf|Maude 2.7.1 manual]] and [[Media:Maude-2.7.1-manual-book-examples.zip|examples from the Maude 2.7.1 manual and book]] | ||
− | ==Maude 2. | + | ==Maude 2.7== |
− | [ | + | * [[Media:Maude27-linux.zip|Maude 2.7 for Linux64]] |
+ | * [[Media:Maude27-osx.zip|Maude 2.7 for Mac OS X]] | ||
+ | * [[Media:Maude-2.7.tar.gz|Maude 2.7 source files]] | ||
+ | * [[Media:Full-maude-27.zip|Full Maude 2.7]] | ||
+ | * [[Media:Maude2.7-manual.pdf|Maude 2.7 manual]] and [[Media:Maude2.7-manual-book-examples.zip|examples from the Maude 2.7 manual and book]] | ||
− | ==Maude 2. | + | ==Maude 2.6== |
− | [http://maude.cs.illinois.edu/versions/2. | + | * [[Media:Maude-2.6.tar.gz|Linux on Intel x86, x86-64 and MacOSX on Intel]] |
+ | * [http://maude.cs.illinois.edu/versions/2.6/ Maude 2.6 download site] | ||
+ | * [[Maude 2.6 Manual and Examples|Maude 2.6 Manual and Examples]] | ||
+ | |||
+ | ==Maude 2.5== | ||
+ | [http://maude.cs.illinois.edu/versions/2.5/ Maude 2.5 download site] | ||
==Maude 2.4== | ==Maude 2.4== | ||
[http://maude.cs.illinois.edu/versions/2.4/ Maude 2.4 download site] | [http://maude.cs.illinois.edu/versions/2.4/ Maude 2.4 download site] | ||
− | ==Maude 2. | + | ==Maude 2.3== |
− | [http://maude.cs.illinois.edu/versions/2. | + | [http://maude.cs.illinois.edu/versions/2.3/ Maude 2.3 download site] |
− | ==Maude 2. | + | ==Maude 2.2== |
− | + | [http://maude.cs.illinois.edu/versions/2.2/ Maude 2.2 download site] | |
− | + | ||
+ | ==Maude 2.1== | ||
+ | [http://maude.cs.illinois.edu/versions/2.1/ Maude 2.1 download site] | ||
+ | |||
+ | ==Maude 2.0== | ||
+ | [http://maude.cs.illinois.edu/versions/2.0/ Maude 2.0 download site] |
Latest revision as of 00:33, 18 December 2019
Contents
Maude 2.7.1
- Maude 2.7.1 for Linux64
- Maude 2.7.1 for Mac OS X
- Maude 2.7.1 (with CVC4) for Linux64
- Maude 2.7.1 (with CVC4) for Mac OS X
- Maude 2.7.1 source files
- Full Maude 2.7.1
- Maude 2.7.1 manual and examples from the Maude 2.7.1 manual and book
Maude 2.7
- Maude 2.7 for Linux64
- Maude 2.7 for Mac OS X
- Maude 2.7 source files
- Full Maude 2.7
- Maude 2.7 manual and examples from the Maude 2.7 manual and book
Maude 2.6
- Linux on Intel x86, x86-64 and MacOSX on Intel
- Maude 2.6 download site
- Maude 2.6 Manual and Examples