diff -r cb9d0c99bd36 -r 0b1a092385c7 etc/options
--- a/etc/options	Mon Sep 21 16:23:48 2015 +0200
+++ b/etc/options	Mon Sep 21 16:41:20 2015 +0200
@@ -140,6 +140,9 @@
 public option editor_continuous_checking : bool = true
   -- "continuous checking of proof document (visible and required parts)"
 
+public option editor_output_state : bool = true
+  -- "implicit output of proof state"
+
 option editor_execution_delay : real = 0.02
   -- "delay for start of execution process after document update (seconds)"