etc/options
changeset 61213 0b1a092385c7
parent 61158 ea6a4c8bc722
child 61537 f6bd97a587b7
     1.1 --- a/etc/options	Mon Sep 21 16:23:48 2015 +0200
     1.2 +++ b/etc/options	Mon Sep 21 16:41:20 2015 +0200
     1.3 @@ -140,6 +140,9 @@
     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 +  -- "implicit output of proof state"
     1.9 +
    1.10  option editor_execution_delay : real = 0.02
    1.11    -- "delay for start of execution process after document update (seconds)"
    1.12