Difference between revisions of "All Maude 2 versions"
From The Maude System
Maudesystem (Talk | contribs) |
Maudesystem (Talk | contribs) |
||
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]] |