changeset 39105 | 3b9e020c3908 |
parent 39079 | bddc3d3f6e53 |
parent 39050 | 600de0485859 |
child 39125 | f45d332a90e3 |
--- a/NEWS Fri Sep 03 08:13:28 2010 +0200 +++ b/NEWS Fri Sep 03 12:01:47 2010 +0200 @@ -37,8 +37,9 @@ Thy_Output.break thy_output_break show_question_marks show_question_marks - -Note that the corresponding "..._default" references may be only + show_consts show_consts + +Note that the corresponding "..._default" references in ML may be only changed globally at the ROOT session setup, but *not* within a theory.