# HG changeset patch
# User berghofe
# Date 1097484738 -7200
# Node ID cb559bd0b03ca9e63baa1fceefb4054d4023dcf7
# Parent  250e9be7a09d2101c1cea631cdb1e177b25511b7
Added entry in Settings menu for Toplevel.skip_proofs flag.

diff -r 250e9be7a09d -r cb559bd0b03c src/Pure/proof_general.ML
--- a/src/Pure/proof_general.ML	Mon Oct 11 10:51:19 2004 +0200
+++ b/src/Pure/proof_general.ML	Mon Oct 11 10:52:18 2004 +0200
@@ -600,7 +600,10 @@
        proof_option)),
      ("theorem-dependencies", 
        ("Track theorem dependencies within Proof General",
-	thm_deps_option))])
+	thm_deps_option)),
+     ("skip-proofs", 
+      ("Skip all proof scripts (interactive-only)",
+       bool_option Toplevel.skip_proofs))])
    ];
 end