Changes from Maude 1.0.1 to Maude 1.0.2
Changes in Core Maude:
Bug fixes
Quoted identifiers are printed correctly.
Changes in Full Maude:
Bug fixes
Structured theories can now be used as parameters.
Renamings on object-oriented modules are now handled correctly.
[
Maude Home Page
]