Changes from Maude 1.0.3 to Maude 1.0.4
Changes in Core Maude:
Bug fixes
Longstanding bug in the MSCP parser which occasionally corrupted the heap and caused segmentation faults has been fixed.
[
Maude Home Page
]
