etc/options
changeset 59175 bf465f335e85
parent 58849 ef7700ecce83
child 59446 4427f04fca57
     1.1 --- a/etc/options	Mon Dec 22 15:50:16 2014 +0100
     1.2 +++ b/etc/options	Mon Dec 22 16:44:24 2014 +0100
     1.3 @@ -20,6 +20,8 @@
     1.4    -- "control line breaks in non-display material"
     1.5  option thy_output_quotes : bool = false
     1.6    -- "indicate if the output should be enclosed in double quotes"
     1.7 +option thy_output_margin : int = 76
     1.8 +  -- "right margin / page width for printing of display material"
     1.9  option thy_output_indent : int = 0
    1.10    -- "indentation for pretty printing of display material"
    1.11  option thy_output_source : bool = false
    1.12 @@ -56,9 +58,6 @@
    1.13  option eta_contract : bool = true
    1.14    -- "print terms in eta-contracted form"
    1.15  
    1.16 -option pretty_margin : int = 76
    1.17 -  -- "right margin / page width of pretty printer in Isabelle/ML"
    1.18 -
    1.19  option print_mode : string = ""
    1.20    -- "additional print modes for prover output (separated by commas)"
    1.21