src/Pure/proof_general.ML
changeset 16816 ccf39b7ca3b7
parent 16798 36d34186741b
child 16821 ba1f6aba44ed
equal deleted inserted replaced
16815:13d20ed9086c 16816:ccf39b7ca3b7
   605        proof_option)),
   605        proof_option)),
   606      ("theorem-dependencies",
   606      ("theorem-dependencies",
   607        ("Track theorem dependencies within Proof General",
   607        ("Track theorem dependencies within Proof General",
   608         thm_deps_option)),
   608         thm_deps_option)),
   609      ("skip-proofs",
   609      ("skip-proofs",
   610       ("Skip all proof scripts (interactive-only)",
   610       ("Ignore proof scripts (interactive-only)",
   611        bool_option Toplevel.skip_proofs))])
   611        bool_option Toplevel.skip_proofs))])
   612    ];
   612    ];
   613 end;
   613 end;
   614 
   614 
   615 
   615