Select the link below appropriate to the type of machine you wish to run Maude:
Sun Sparc under Solaris (
). We recommend 5.7 or later version.
Sun Sparc under SunOS (
). We recommend 4.1.4 or later version.
Intel x86 under Linux (
). We recommend 2.2.5 or later version.
Intel x86 under FreeBSD (
). We recommend 3.3 or later version.
Compaq Alpha under OSF1 (
). We recommend 4.0 or later version.
SGI under IRIX (
). We recommend IRIX 6.2 or later version (n32 ABI).
IBM RS/6000 under AIX (
). We recommend 4.3 or later version.
Apple PowerMac under Linux (
). We recommend 2.2.15 or later version.
It is important that you subscribe to the maude mailing list if using Maude, as this is the mechanism by which we will make important announcements about the system.
Installation of the System
Changes from 1.0.4 to 1.0.5
Changes from 1.0.3 to 1.0.4
Changes from 1.0.2 to 1.0.3
Changes from 1.0.1 to 1.0.2
Changes from 1.00 to 1.0.1
Maude Home Page