Dear all,
the MOMENT team has recently compiled the new version of Maude 2.4 for
Windows, and it is available for you to download at [
http://moment.dsic.upv.es/mfw ]. 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 2.4
- Maude alpha86a
These versions, should work in any i586 compatible processor. If you still
have any compatibility problem (or any kind of problem), please send us a
bug
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
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users
