Added entry in Settings menu for Toplevel.skip_proofs flag.
authorberghofe
Mon Oct 11 10:52:18 2004 +0200 (2004-10-11)
changeset 15238cb559bd0b03c
parent 15237 250e9be7a09d
child 15239 fb73c8154b19
Added entry in Settings menu for Toplevel.skip_proofs flag.
src/Pure/proof_general.ML
     1.1 --- a/src/Pure/proof_general.ML	Mon Oct 11 10:51:19 2004 +0200
     1.2 +++ b/src/Pure/proof_general.ML	Mon Oct 11 10:52:18 2004 +0200
     1.3 @@ -600,7 +600,10 @@
     1.4         proof_option)),
     1.5       ("theorem-dependencies", 
     1.6         ("Track theorem dependencies within Proof General",
     1.7 -	thm_deps_option))])
     1.8 +	thm_deps_option)),
     1.9 +     ("skip-proofs", 
    1.10 +      ("Skip all proof scripts (interactive-only)",
    1.11 +       bool_option Toplevel.skip_proofs))])
    1.12     ];
    1.13  end
    1.14