Dear Maude Abusers,

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

~eker/public_html/Maude/Alpha91/

or downloaded from:

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

Alpha release site authentication:

User Name: maudeabuser
Password: bughunter

This is a bug fix release that identifies itself as Maude 2.4.

Bug fixes
----------
(1) The Diophantine equation solver operation natSystemSolve() was losing
some of its hooks during importation.

load linear.maude .

fmod TRACE is
   protecting DIOPHANTINE .
endfm

reduce in TRACE : natSystemSolve( 0,0 |-> 1 ; 0,1 |-> 2 ; 0,3 |-> -3,  zeroVector, "gcd") .
show all .

Reported by "Guoqiang Li" <li.g@agusa.i.is.nagoya-u.ac.jp>.

(2) A bug in the unify command that failed to clean up after a bad
unification causing the garbage collector to crash on a later
unification. Provoked by:

fmod AC is
  sort Foo .
  op f : Foo Foo -> Foo [assoc comm] .
  op h : Foo Foo -> Foo [assoc] .
  vars W X Y Z A B C D E F : Foo .
endfm

unify h(X:Foo, Z:Foo) =? h(A:Foo, B:Foo) .
unify f(X, X, Y) =? f(A, B, C) .

This version also contains two new test files in the self-test suite
for the unify command and the metaUnify() function.

Steven