NEWS
changeset 39125 f45d332a90e3
parent 39105 3b9e020c3908
child 39126 ee117c5b3b75
     1.1 --- a/NEWS	Fri Sep 03 20:39:38 2010 +0200
     1.2 +++ b/NEWS	Fri Sep 03 21:13:53 2010 +0200
     1.3 @@ -28,18 +28,21 @@
     1.4  unsynchronized references.  There are both ML Config.T entities and
     1.5  Isar declaration attributes to access these.
     1.6  
     1.7 -  ML:                       Isar:
     1.8 -
     1.9 -  Thy_Output.display        thy_output_display
    1.10 -  Thy_Output.quotes         thy_output_quotes
    1.11 -  Thy_Output.indent         thy_output_indent
    1.12 -  Thy_Output.source         thy_output_source
    1.13 -  Thy_Output.break          thy_output_break
    1.14 -
    1.15 -  show_question_marks       show_question_marks
    1.16 -  show_consts               show_consts
    1.17 -
    1.18 -Note that the corresponding "..._default" references in ML may be only
    1.19 +  ML (Config.T)                 Isar (attribute)
    1.20 +
    1.21 +  Thy_Output.display            thy_output_display
    1.22 +  Thy_Output.quotes             thy_output_quotes
    1.23 +  Thy_Output.indent             thy_output_indent
    1.24 +  Thy_Output.source             thy_output_source
    1.25 +  Thy_Output.break              thy_output_break
    1.26 +
    1.27 +  show_question_marks           show_question_marks
    1.28 +  show_consts                   show_consts
    1.29 +
    1.30 +  Goal_Display.goals_limit      goals_limit
    1.31 +  Goal_Display.show_main_goal   show_main_goal
    1.32 +
    1.33 +Note that corresponding "..._default" references in ML may be only
    1.34  changed globally at the ROOT session setup, but *not* within a theory.
    1.35  
    1.36