equal
deleted
inserted
replaced
141 @{option quick_and_dirty} |
141 @{option quick_and_dirty} |
142 "quick-and-dirty" |
142 "quick-and-dirty" |
143 "Take a few short cuts"; |
143 "Take a few short cuts"; |
144 |
144 |
145 val _ = |
145 val _ = |
146 ProofGeneral.preference_bool ProofGeneral.category_proof |
146 ProofGeneral.preference_option ProofGeneral.category_proof |
147 NONE |
147 NONE |
148 Goal.skip_proofs |
148 @{option skip_proofs} |
149 "skip-proofs" |
149 "skip-proofs" |
150 "Skip over proofs"; |
150 "Skip over proofs"; |
151 |
151 |
152 val _ = |
152 val _ = |
153 ProofGeneral.preference ProofGeneral.category_proof |
153 ProofGeneral.preference ProofGeneral.category_proof |