changeset 52007 | 0b1183012a3c |
parent 52006 | 9402221f77dd |
child 52017 | bc0238c1f73a |
--- a/src/HOL/Tools/try0.ML Wed May 15 17:39:41 2013 +0200 +++ b/src/HOL/Tools/try0.ML Wed May 15 20:22:46 2013 +0200 @@ -27,8 +27,8 @@ val auto = Unsynchronized.ref false val _ = - ProofGeneral.add_preference Preferences.category_tracing - (Preferences.bool_pref auto "auto-try0" "Try standard proof methods.") + ProofGeneral.preference_bool ProofGeneral.category_tracing + auto "auto-try0" "Try standard proof methods" val default_timeout = seconds 5.0