diff -r 34cbfb87dfe8 -r c070cd2a1450 src/Pure/ProofGeneral/preferences.ML --- a/src/Pure/ProofGeneral/preferences.ML Mon Oct 01 21:19:53 2007 +0200 +++ b/src/Pure/ProofGeneral/preferences.ML Mon Oct 01 21:19:54 2007 +0200 @@ -143,7 +143,10 @@ "Whether to enable debugging.", bool_pref Codegen.auto_quickcheck "auto-quickcheck" - "Whether to enable quickcheck automatically."] + "Whether to enable quickcheck automatically.", + nat_pref Codegen.auto_quickcheck_time_limit + "auto-quickcheck-time-limit" + "Time limit for automatic quickcheck (in milliseconds)."] val proof_preferences = [bool_pref quick_and_dirty