Changes in Core Maude:

• Optimizations
• Sort computations optimized for modules that are many-sorted or almost so; "show kinds" now shows if a kind is error free.
• Free theory rewriting optimized.
• AC/ACU theory rewriting optimized.
• i86 versions now compiled with a better choice of compiler flags.
• Bug fixes
• End of file seen while processing a comment no longer causes scanner to hang.
• Pretty printer now makes a more sensible choice when selecting a ().sort disambiguation for a term whose sorts have not been calculated.
• ^C now closes all open files even if we were doing rewriting rather than reading from a file at the time.
• ^C now handled during printing of modules and results.
• Operation declarations with missing ranges no longer cause segmentation faults.
• New features
• OBJ3 style automatic line wrapping; line length defaults to 80 if terminal device not set up correctly (typical of emacs shells).
• Built in

  op [_] : Qid -> Module .

  added to META-LEVEL. It can be used to access a module from the CoreMaude database in meta-reduce(), etc.
• Built in

  op convert : Qid -> MachineInt? .

  added to QID. Converts a Qid into a MachineInt where possible.
• Built in

  op _<_ : Qid Qid -> Bool .

  added to QID. Provides a total ordering on Qids.
• Handling of polymorphic built in operations more uniform. User equations like

  eq if B then X else X fi = X .

  work and "show all" shows an approximate definition of polymorphic instances rather than "(implemented by C++ code)".

• Minor optimizations and changes making use of the new facilities in Core Maude.