src/Pure/Tools/proof_general_pure.ML

--- a/src/Pure/Tools/proof_general_pure.ML	Fri Jul 19 17:35:12 2013 +0200
+++ b/src/Pure/Tools/proof_general_pure.ML	Fri Jul 19 17:58:57 2013 +0200
@@ -143,9 +143,9 @@
     "Take a few short cuts";
 
 val _ =
-  ProofGeneral.preference_bool ProofGeneral.category_proof
+  ProofGeneral.preference_option ProofGeneral.category_proof
     NONE
-    Goal.skip_proofs
+    @{option skip_proofs}
     "skip-proofs"
     "Skip over proofs";