diff -r 6534fd4c5d46 -r a2f19514e156 src/Pure/ProofGeneral/preferences.ML
--- 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),