etc/options
changeset 61604 bb20f11dd842
parent 61602 a2f0f659a3c2
child 61873 7e8f4df04d5d
     1.1 --- a/etc/options	Mon Nov 09 13:49:29 2015 +0100
     1.2 +++ b/etc/options	Mon Nov 09 13:49:56 2015 +0100
     1.3 @@ -143,7 +143,7 @@
     1.4  public option editor_continuous_checking : bool = true
     1.5    -- "continuous checking of proof document (visible and required parts)"
     1.6  
     1.7 -public option editor_output_state : bool = true
     1.8 +public option editor_output_state : bool = false
     1.9    -- "implicit output of proof state"
    1.10  
    1.11  option editor_execution_delay : real = 0.02