Difference between revisions of "The Maude System"

From The Maude System
Jump to: navigation, search
m (Reverted edits by Kquine (talk) to last revision by Maudesystem)
Line 11: Line 11:
 
* [[Maude 2 Primer and Examples|Maude Primer and Examples]]
 
* [[Maude 2 Primer and Examples|Maude Primer and Examples]]
 
* [[Maude 2.6 Manual and Examples|Maude Manual and Examples]]
 
* [[Maude 2.6 Manual and Examples|Maude Manual and Examples]]
* [http://maude.cs.illinois.edu/papers/ Some Papers on Maude and on Rewriting Logic]
+
* [[Some Papers on Maude and on Rewriting Logic]]
 
* [[Roadmap and Bibliography]]
 
* [[Roadmap and Bibliography]]
 
* [[Some Talks on Maude and on Rewriting Logic]]
 
* [[Some Talks on Maude and on Rewriting Logic]]
Line 24: Line 24:
 
* [[Maude download and installation|Download latest version of Maude 2]]
 
* [[Maude download and installation|Download latest version of Maude 2]]
 
* [[Maude License Agreement|Maude 2 License]]
 
* [[Maude License Agreement|Maude 2 License]]
* [http://maude.cs.illinois.edu/versions/ All Maude 2 versions]
+
* [[All Maude 2 versions]]
* [http://maude.cs.uiuc.edu/maude1/ Looking for Maude 1?]
+
* [[Maude 1|Looking for Maude 1?]]

Revision as of 18:54, 8 August 2014

General Maude Information

Maude Documentation

Maude-related Tools

Obtaining and Using Maude