List of the changes from 2.5 to 2.6
From The Maude System
- Order sorted ACU unification.
- Some additional overparsing to gracefully recover from typical syntactical errors.
- Several bugs fixed.
- This page was last modified on 22 July 2014, at 04:06.
- This page has been accessed 1,879 times.
