--- a/NEWS Fri Sep 03 20:39:38 2010 +0200
+++ b/NEWS Fri Sep 03 21:13:53 2010 +0200
@@ -28,18 +28,21 @@
unsynchronized references. There are both ML Config.T entities and
Isar declaration attributes to access these.
- ML: Isar:
-
- Thy_Output.display thy_output_display
- Thy_Output.quotes thy_output_quotes
- Thy_Output.indent thy_output_indent
- Thy_Output.source thy_output_source
- Thy_Output.break thy_output_break
-
- show_question_marks show_question_marks
- show_consts show_consts
-
-Note that the corresponding "..._default" references in ML may be only
+ ML (Config.T) Isar (attribute)
+
+ Thy_Output.display thy_output_display
+ Thy_Output.quotes thy_output_quotes
+ Thy_Output.indent thy_output_indent
+ Thy_Output.source thy_output_source
+ Thy_Output.break thy_output_break
+
+ show_question_marks show_question_marks
+ show_consts show_consts
+
+ Goal_Display.goals_limit goals_limit
+ Goal_Display.show_main_goal show_main_goal
+
+Note that corresponding "..._default" references in ML may be only
changed globally at the ROOT session setup, but *not* within a theory.