Difference between revisions of "All Maude 2 versions"

From The Maude System
Jump to: navigation, search
(Maude 2.7.1)
 
Line 1: Line 1:
==Maude 2.0==
 
[http://maude.cs.illinois.edu/versions/2.0/ Maude 2.0 download site]
 
  
==Maude 2.1==
+
==Maude 2.7.1==
[http://maude.cs.illinois.edu/versions/2.1/ Maude 2.1 download site]
+
* [[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.2==
+
==Maude 2.7==
[http://maude.cs.illinois.edu/versions/2.2/ Maude 2.2 download site]
+
* [[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.3==
+
==Maude 2.6==
[http://maude.cs.illinois.edu/versions/2.3/ Maude 2.3 download site]
+
* [[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.5==
+
==Maude 2.3==
[http://maude.cs.illinois.edu/versions/2.5/ Maude 2.5 download site]
+
[http://maude.cs.illinois.edu/versions/2.3/ Maude 2.3 download site]
  
==Maude 2.6==
+
==Maude 2.2==
* [[Media:Maude-2.6.tar.gz|Linux on Intel x86, x86-64 and MacOSX on Intel]]
+
[http://maude.cs.illinois.edu/versions/2.2/ Maude 2.2 download site]
* [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.7==
+
==Maude 2.1==
* [[Media:Maude27-linux.zip|Maude 2.7 for Linux64]]
+
[http://maude.cs.illinois.edu/versions/2.1/ Maude 2.1 download site]
* [[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.7.1==
+
==Maude 2.0==
* [[Media:Maude-2.7.1-linux.zip|Maude 2.7.1 for Linux64]]
+
[http://maude.cs.illinois.edu/versions/2.0/ Maude 2.0 download site]
* [[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]]
+

Latest revision as of 19:33, 17 December 2019

Maude 2.7.1

Maude 2.7

Maude 2.6

Maude 2.5

Maude 2.5 download site

Maude 2.4

Maude 2.4 download site

Maude 2.3

Maude 2.3 download site

Maude 2.2

Maude 2.2 download site

Maude 2.1

Maude 2.1 download site

Maude 2.0

Maude 2.0 download site