The new Maude runs on many Unix variants, including Linux. If you are attempting to install it on Microsoft Windows, please read the separate section. In this section, we assume a Linux configuration. Please, substitute your platform name for linux in what follows if you download for another platform. In any case, please consider subscribing to the Maude users mailing list, as this is also the mechanism by which we will make important announcements about the system.
The Maude system download consists of three parts: Core Maude, Full Maude, and documentation.
Full Maude is written in Maude, and is thus platform-independent. Download the new Full Maude and move it into the Core Maude directory (/usr/local/maude-linux/ in the example above).