changeset 51553 | 63327f679cff |
parent 48634 | 30a6e841390a |
child 51944 | 45b972dc7888 |
--- a/src/Pure/ProofGeneral/preferences.ML Wed Mar 27 14:50:30 2013 +0100 +++ b/src/Pure/ProofGeneral/preferences.ML Wed Mar 27 16:38:25 2013 +0100 @@ -169,7 +169,7 @@ bool_pref quick_and_dirty "quick-and-dirty" "Take a few short cuts") (), - bool_pref Toplevel.skip_proofs + bool_pref Goal.skip_proofs "skip-proofs" "Skip over proofs", proof_pref,