Dear Maude Abusers,

A new alpha release can be accessed at SRI in

~eker/public_html/Maude/Alpha63b/

or downloaded from

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

Currently only linux is supported. There are 4 changes from Alpha63a:

(1) A bug reported by Paco which caused condition fragment trace
    information to be printed if the interpreter was processing a
    condition fragment at the instant a ^C interrupt was received is
    fixed.

(2) A bug reported by Paco where an internal error can arise from
    repeated sequence of (a) rewriting in a module with t1 := t2 type
    condition fragments and (b) rentering (replacing) the module is
    fixed.

(3) Loop mode now omits spaces around tokens ( , ) { } [ ]
    The Qids '\( '\, '\) '\{ '\} '\[ '\] provide the old behavior when
    printed in loop mode. This change was requested by Jose.

(4) The module META-TERM now contains the sorts GroundTerm and
    GroundTermList with appropriate subsorting and operator
    declarations. This change was requested by Jose.

Steven