tuned;
authorwenzelm
Tue Dec 05 15:19:32 2017 +0100 (10 months ago)
changeset 67137f2384ad1dff4
parent 67136 1368cfa92b7a
child 67138 82283d52b4d6
tuned;
etc/options
     1.1 --- a/etc/options	Tue Dec 05 14:03:10 2017 +0100
     1.2 +++ b/etc/options	Tue Dec 05 15:19:32 2017 +0100
     1.3 @@ -10,7 +10,7 @@
     1.4  option document_output : string = ""
     1.5    -- "document output directory (default within $ISABELLE_BROWSER_INFO tree)"
     1.6  option document_variants : string = "document"
     1.7 -  -- "option alternative document variants (separated by colons)"
     1.8 +  -- "alternative document variants (separated by colons)"
     1.9  
    1.10  option thy_output_display : bool = false
    1.11    -- "indicate output as multi-line display-style material"