etc/options
changeset 52710 52790e3961fe
parent 52702 c503730efae5
child 52714 a4e4802753b9
     1.1 --- a/etc/options	Fri Jul 19 17:35:12 2013 +0200
     1.2 +++ b/etc/options	Fri Jul 19 17:58:57 2013 +0200
     1.3 @@ -102,9 +102,6 @@
     1.4  
     1.5  section "Editor Reactivity"
     1.6  
     1.7 -public option editor_skip_proofs : bool = false
     1.8 -  -- "skip over proofs (implicit 'sorry')"
     1.9 -
    1.10  public option editor_load_delay : real = 0.5
    1.11    -- "delay for file load operations (new buffers etc.)"
    1.12