NEWS
changeset 41294 53df0095b5e4
parent 41287 029a6fc1bfb8
child 41297 01b2de947cff
equal deleted inserted replaced
41293:59949cf040cb 41294:53df0095b5e4
    69 changed globally at the ROOT session setup, but *not* within a theory.
    69 changed globally at the ROOT session setup, but *not* within a theory.
    70 The option "show_abbrevs" supersedes the former print mode
    70 The option "show_abbrevs" supersedes the former print mode
    71 "no_abbrevs" with inverted meaning.
    71 "no_abbrevs" with inverted meaning.
    72 
    72 
    73 * More systematic naming of some configuration options.
    73 * More systematic naming of some configuration options.
    74 INCOMPATIBILTY.
    74 INCOMPATIBILITY.
    75 
    75 
    76   trace_simp  ~>  simp_trace
    76   trace_simp  ~>  simp_trace
    77   debug_simp  ~>  simp_debug
    77   debug_simp  ~>  simp_debug
    78 
    78 
    79 * Support for real valued configuration options, using simplistic
    79 * Support for real valued configuration options, using simplistic