Dear Maude Abusers,

In response to a query from Paco, it is possible to use recent Maude
alpha releases under MS Windows 95/98/2000 and probably XP using the
following technique (slightly adapted from the method of Francisco
Bellomi <fbellomi@libero.it>):

(1) Copy the 7 files in:

http://www.csl.sri.com/~eker/Maude/Windoze/

to a folder on your windows box; say C:\Program Files\Maude\

(2) Copy maude.linux, prelude.maude and any other .maude files (such as
model-checker.maude) to the same folder.

(3) Add the following line to the end of prelude.maude:

set show timing off .

(4) Double click on maude.bat to start Maude.

Timing does not work and the date/time printed on start up will probably
be wrong. Everything else should work.

Steven