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