List of the changes from 2.5 to 2.6

From The Maude System
Revision as of 04:06, 22 July 2014 by Kquine (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
  • Order sorted ACU unification.
  • Some additional overparsing to gracefully recover from typical syntactical errors.
  • Several bugs fixed.
Retrieved from "https://maude.cs.illinois.edu/w/index.php?title=List_of_the_changes_from_2.5_to_2.6&oldid=46"