Dear Maude Abusers,

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

~eker/public_html/Maude/Alpha107/

or downloaded from:

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

Alpha release site authentication:

User Name: maudeabuser
Password: bughunter

This is an urgent bug fix release to fix a bug reported by Vivek Nigam
where repeated calls to the descent functions:
  metaGetVariant()
  metaGetIrredundantVariant()
  metaVariantUnify()
  metaVariantDisjointUnify()
with the same arguements (i.e. no change in solution number) produced
memory corruption. This happened because old VariantSearch objects
were being pulled from the meta-cache, but VariantSearch only had
functionality for returning the next solution. It now has
functionality for returning the last returned solution so these cases
are handled correctly and efficiently (from cache rather than
recomputation).

Steven