Difference between revisions of "All Maude 3 versions"

From The Maude System
Jump to: navigation, search
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
 +
==Maude 3.1==
 +
* [[Media:Maude-3.1-linux.zip|Maude 3.1 (with Yices 2) for Linux64]]
 +
* [[Media:Maude-3.1-macos.zip|Maude 3.1 (with Yices 2) for Mac OS X]]
 +
* [[Media:Maude-3.1.tar.gz|Maude 3.1 source files]]
 +
* [[Media:Full-Maude-3.1.zip|Full Maude 3.1]]
 +
* Maude 3.1 manual ([[Media:Maude-3.1-manual.pdf|pdf]]/[http://maude.lcc.uma.es/maude31-manual-html/maude-manual.html html]) and [[Media:Maude-3.1-manual-book-examples.zip|examples from the Maude 3.1 manual and book]]
 
==Maude 3.0==
 
==Maude 3.0==
 
* [[Media:Maude-3.0+yices2-linux.zip|Maude 3.0 (with Yices 2) for Linux64]]
 
* [[Media:Maude-3.0+yices2-linux.zip|Maude 3.0 (with Yices 2) for Linux64]]
Line 6: Line 12:
 
* [[Media:Maude-3.0.tar.gz|Maude 3.0 source files]]
 
* [[Media:Maude-3.0.tar.gz|Maude 3.0 source files]]
 
* [[Media:Full-Maude-3.0.zip|Full Maude 3.0]]
 
* [[Media:Full-Maude-3.0.zip|Full Maude 3.0]]
* Maude 3.0 manual ([[Media:Maude-3.0-manual.pdf|pdf]]/<href a=http://maude.lcc.uma.es/maude30-manual-html/maude-manual.html>html</href> and [[Media:Maude-3.0-manual-book-examples.zip|examples from the Maude 3.0 manual and book]]
+
* Maude 3.0 manual ([[Media:Maude-3.0-manual.pdf|pdf]]/[http://maude.lcc.uma.es/maude30-manual-html/maude-manual.html html]) and [[Media:Maude-3.0-manual-book-examples.zip|examples from the Maude 3.0 manual and book]]

Latest revision as of 22:23, 18 October 2020

Maude 3.1

Maude 3.0