Dear Maude Abusers,

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

~eker/public_html/Maude/Alpha89f/

or downloaded from:

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

Alpha release site authentication:

User Name: maudeabuser
Password: bughunter


Bug fixes
----------
(1) Commutative unification which was broken by alpha89c now works
gain. Provoked by this example from Santiago:

fmod EXA is
  sort S .
  ops a b c : -> S [ctor] .
  op _+_ : S S -> S [comm ctor gather (e E)] .
endfm

unify a + b + c =? X:S .

(2) A nasty bug reported by Santiago where the theory normalizer for
ACU was converting the naive vector representation into red-black
trees for sufficiently large argument lists when called from the AC
unification algorithm which only understands the vector representation
with resulting chaos. This is fixed by a quick hack of having a new
function dumbNormalizeAtTop() which does no optimizations at all, even
though some might be safe for unification.

Steven