[Maude-users] Maude for Windows 2.3 released

[Abel Gómez]

Dear all,

the MOMENT team has recently compiled the new version of Maude 2.3 for 
windows, and it is available for you to download at [ 
http://moment.dsic.upv.es/mfw ]. We have also recompiled all the previous 
released versions of Maude. Now, you have available the following versions 
to run in windows:

- Maude 2.0.1
- Maude 2.1
- Maude 2.1.1
- Maude 2.2
- Maude 2.3
- Maude alpha86a

In these versions, we have fixed some compatibility issues with some 
unsupported CPUs. If you still have any compatibility problem, please send 
us a report with your system configuration.

All the versions also include Full Maude, and some cygwin files needed to 
run the Maude Development Tools plugin[ http://moment.dsic.upv.es/mdt ] (a 
simple GUI to develop Maude programs, and an API to use Maude from a Java 
program).

Best regards
on behalf of the MOMENT team