Difference between revisions of "All Maude 2 versions"

From The Maude System
Jump to: navigation, search
Line 20: Line 20:
 
* [[Media:Maude-2.6.tar.gz|Linux on Intel x86, x86-64 and MacOSX on Intel]]
 
* [[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]
 
* [http://maude.cs.illinois.edu/versions/2.6/ Maude 2.6 download site]
 +
 +
==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]]

Revision as of 15:40, 12 May 2015

Maude 2.0

Maude 2.0 download site

Maude 2.1

Maude 2.1 download site

Maude 2.2

Maude 2.2 download site

Maude 2.3

Maude 2.3 download site

Maude 2.4

Maude 2.4 download site

Maude 2.5

Maude 2.5 download site

Maude 2.6

Maude 2.7