changeset 48634 | 30a6e841390a |
parent 42669 | 04dfffda5671 |
child 51553 | 63327f679cff |
--- a/src/Pure/ProofGeneral/preferences.ML Wed Aug 01 15:33:08 2012 +0200 +++ b/src/Pure/ProofGeneral/preferences.ML Wed Aug 01 15:46:45 2012 +0200 @@ -171,7 +171,7 @@ "Take a few short cuts") (), bool_pref Toplevel.skip_proofs "skip-proofs" - "Skip over proofs (interactive-only)", + "Skip over proofs", proof_pref, nat_pref Multithreading.max_threads "max-threads"