Difference between revisions of "All Maude 3 versions"

From The Maude System
Jump to: navigation, search
(Maude 3.0)
Line 6: Line 6:
 
* [[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]]/[[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]]
+
* 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]]

Revision as of 18:30, 20 December 2019

Maude 3.0