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 24100 a2f19514e156
parent 22587 5454b06320fb
child 24191 333f0a4bcc55 
--- a/src/Pure/ProofGeneral/preferences.ML	Tue Jul 31 21:19:21 2007 +0200
+++ b/src/Pure/ProofGeneral/preferences.ML	Tue Jul 31 21:19:22 2007 +0200
@@ -149,7 +149,10 @@
 	       "Take a few short cuts",
      bool_pref Toplevel.skip_proofs
 	       "skip-proofs"
-	       "Skip over proofs (interactive-only)"]
+	       "Skip over proofs (interactive-only)",
+     nat_pref Multithreading.max_threads
+	       "max-threads"
+	       "Maximum number of threads"]
 
 val preferences = 
     [("Display", display_preferences),
isabelle