This installer allows you to run Maude in a Windows system. It includes the Maude executable, Full Maude, and a minimalist set of cygwin files required to run this app. This distribution of Maude can be executed in any Windows Platform (Windows 95/98/Me/XP/NT/2000/2003/Vista/7) without requiring any aditional software. These versions are compiled to maximize the compatibility with any pentium-compatible processor (i586 architecture and higher). If you have compatibility problems, please, send us a bug report with your system configuration to agomez _at_ dsic _dot_ upv _dot_ es. You must also take into account that the windows versions of Maude, are slightly slower than the Linux/UNIX ones.

Maude is provided under the terms of the GNU General Public License version 2 as published by the Free Software Foundation. You can download the Maude source code from http://maude.cs.uiuc.edu/versions/.

For detailed information about a specific version, read the corresponding installation notes in the download details.

To install Maude for Windows, you must have administrative rights. If you install Maude for Windows for the first time, we recommend you to install all the components.

It is also highly recommended to uninstall any previous version before installing a new one.

We are always pleased to receive your comments.

Important: If you have Cygwin installed on your system please read the readme files!