Difference between revisions of "All Maude 2 versions"
From The Maude System
Maudesystem (Talk | contribs) (→All Maude 2 versions) |
Maudesystem (Talk | contribs) |
||
Line 18: | Line 18: | ||
==Maude 2.6== | ==Maude 2.6== | ||
− | [http://maude.cs.illinois.edu/versions/2.6/ Maude 2.6 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] |