src/Pure/Tools/proof_general_pure.ML

     ProofGeneral.pgipbool
     "full-proofs"
     "Record full proof objects internally";
 
 val _ =
-  ProofGeneral.preference_int ProofGeneral.category_proof
-    NONE
-    Multithreading.max_threads
+  ProofGeneral.preference ProofGeneral.category_proof
+    NONE
+    (Markup.print_int o Multithreading.max_threads_value)
+    (Multithreading.max_threads_update o Markup.parse_int)
+    ProofGeneral.pgipint
     "max-threads"
     "Maximum number of threads";
 
 val _ =
   ProofGeneral.preference ProofGeneral.category_proof
     NONE
     (fn () => Markup.print_bool (! Goal.parallel_proofs >= 1))
     (fn s => Goal.parallel_proofs := (if Markup.parse_bool s then 1 else 0))
-    ProofGeneral.pgipbool
+    ProofGeneral.pgipint
     "parallel-proofs"
     "Check proofs in parallel";