etc/options
changeset 59446 4427f04fca57
parent 59175 bf465f335e85
child 59468 fe6651760643
     1.1 --- a/etc/options	Sun Jan 25 21:46:21 2015 +0100
     1.2 +++ b/etc/options	Sun Jan 25 22:11:06 2015 +0100
     1.3 @@ -11,8 +11,6 @@
     1.4    -- "document output directory (default within $ISABELLE_BROWSER_INFO tree)"
     1.5  option document_variants : string = "document"
     1.6    -- "option alternative document variants (separated by colons)"
     1.7 -option document_graph : bool = false
     1.8 -  -- "generate session graph image for document"
     1.9  
    1.10  option thy_output_display : bool = false
    1.11    -- "indicate output as multi-line display-style material"