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