equal
deleted
inserted
replaced
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 |