Difference between revisions of "The Maude System"

From The Maude System
Jump to: navigation, search
m (Kquine moved page Main Page to The Maude System)
(Creating the main page from the old webpage)
Line 1: Line 1:
<strong>MediaWiki has been successfully installed.</strong>
 
  
Consult the [//meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
+
== General Maude Information ==
  
== Getting started ==
+
* [[Maude Overview]]
* [//www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list]
+
* [[The Maude Project and Team]]
* [//www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ]
+
* [[Rewriting Logic]]
* [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]
+
* [[Maude Mailing Lists|Mailing Lists]]
* [//www.mediawiki.org/wiki/Localisation#Translation_resources Localise MediaWiki for your language]
+
 
 +
== Maude Documentation ==
 +
 
 +
* [[Maude 2 Primer and Examples|Maude Primer and Examples]]
 +
* [[Maude 2.6 Manual and Examples|Maude Manual and Examples]]
 +
* [[Some Papers on Maude and on Rewriting Logic]]
 +
* [[Roadmap and Bibliography]]
 +
* [[Some Talks on Maude and on Rewriting Logic]]
 +
 
 +
== Maude-related Tools ==
 +
 
 +
* [[Maude Tools]]
 +
* [[Other Tools]]
 +
 
 +
== Obtaining and Using Maude ==
 +
 
 +
* [[Maude download and installation|Download latest version of Maude 2]]
 +
* [[Maude License Agreement|Maude 2 License]]
 +
* [[All Maude 2 versions]]
 +
* [[Maude 1|Looking for Maude 1?]]

Revision as of 03:50, 20 July 2014

General Maude Information

Maude Documentation

Maude-related Tools

Obtaining and Using Maude