Dear Maude Abusers,

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

~eker/public_html/Maude/Alpha91b/

or downloaded from:

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

Alpha release site authentication:

User Name: maudeabuser
Password: bughunter

This fixes a critical bug reported by Santiago where debugging messages
are printed for some equational rewrite attempts; for example:

fmod DEBUG-BUG is
  sort Foo .
  ops a b c  : -> Foo .
  op f : Foo Foo -> Foo [comm] .
  ceq f(X:Foo, X:Foo) = X:Foo if X:Foo =/= a .
endfm

red f(a, a) .

Steven