NEWS
changeset 38767 d8da44a8dd25
parent 38708 8915e3ce8655
child 38797 abe92b33ac9f
     1.1 --- a/NEWS	Fri Aug 27 00:09:56 2010 +0200
     1.2 +++ b/NEWS	Fri Aug 27 12:40:20 2010 +0200
     1.3 @@ -23,6 +23,22 @@
     1.4  at the cost of clarity of file dependencies.  Recall that Isabelle/ML
     1.5  files exclusively use the .ML extension.  Minor INCOMPATIBILTY.
     1.6  
     1.7 +* Various options that affect document antiquotations are now properly
     1.8 +handled within the context via configuration options, instead of
     1.9 +unsynchronized references.  There are both ML Config.T entities and
    1.10 +Isar declaration attributes to access these.
    1.11 +
    1.12 +  ML:                       Isar:
    1.13 +
    1.14 +  Thy_Output.display        thy_output_display
    1.15 +  Thy_Output.quotes         thy_output_quotes
    1.16 +  Thy_Output.indent         thy_output_indent
    1.17 +  Thy_Output.source         thy_output_source
    1.18 +  Thy_Output.break          thy_output_break
    1.19 +
    1.20 +Note that the corresponding "..._default" references may be only
    1.21 +changed globally at the ROOT session setup, but *not* within a theory.
    1.22 +
    1.23  
    1.24  *** Pure ***
    1.25