Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/ProofGeneral/preferences.ML
changeset 25440 aa25d4d59383
parent 25223 7463251e7273
child 28066 611e504c1191 
--- a/src/Pure/ProofGeneral/preferences.ML	Thu Nov 15 15:05:03 2007 +0100
+++ b/src/Pure/ProofGeneral/preferences.ML	Thu Nov 15 18:31:53 2007 +0100
@@ -146,7 +146,8 @@
                 "Whether to enable quickcheck automatically.",
      nat_pref Codegen.auto_quickcheck_time_limit
                 "auto-quickcheck-time-limit"
-                "Time limit for automatic quickcheck (in milliseconds)."]
+                "Time limit for automatic quickcheck (in milliseconds).",
+     thm_deps_pref]
 
 val proof_preferences =
     [bool_pref quick_and_dirty
isabelle