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