Difference between revisions of "List of the changes from 2.5 to 2.6"
From The Maude System
(Created: the list of changes from 2.5 to 2.6) |
(No difference)
|
Latest revision as of 04:06, 22 July 2014
- Order sorted ACU unification.
- Some additional overparsing to gracefully recover from typical syntactical errors.
- Several bugs fixed.