src/Pure/proof_general.ML
changeset 15238 cb559bd0b03c
parent 15225 68ab0f4eb457
child 15253 6e20cc79bde6
     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