| changeset 40878 | 7695e4de4d86 |
| parent 40866 | ff53be502133 |
| child 40879 | ca132ef44944 |
--- a/NEWS Thu Dec 02 15:37:32 2010 +0100 +++ b/NEWS Thu Dec 02 16:04:22 2010 +0100 @@ -60,6 +60,12 @@ Note that corresponding "..._default" references in ML may be only changed globally at the ROOT session setup, but *not* within a theory. +* More systematic naming of some configuration options. + INCOMPATIBILTY. + + trace_simp ~> simp_trace + debug_simp ~> simp_debug + *** Pure ***