Dear Maude Abusers,

A new alpha release can be accessed at SRI-CSL in:

~eker/public_html/Maude/Alpha93b/

or downloaded from:

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

Alpha release site authentication:

User Name: maudeabuser
Password: bughunter

This bug fix release identifies itself as Maude 2.5 and fixes a
critical bug in alpha93a triggered by parameters in a metaModule:

red in META-LEVEL : metaReduce(
fmod 'FOO{'X :: 'TRIV} is
  including 'MAP{'String, 'X} .
  sorts 'Foo .
  none
  none
  none
  none
endfm, 'true.Bool) .

Bug reported by Adrián Riesco <ariesco@fdi.ucm.es>

This version also corrects some outdated files that were included in
alpha93a because of a subtlety about where automake picks up files of
which I was unaware.

Steven