# HG changeset patch
# User wenzelm
# Date 1357550231 -3600
# Node ID 37091451ba1a8522f489a4ea7363c412f34527e6
# Parent  c96bb430ddb02554087c050b0a172b72527ba719
slightly odd duplication of Pure options for Proof General (amending cb5cdbb645cd);

diff -r c96bb430ddb0 -r 37091451ba1a src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Sun Jan 06 17:38:29 2013 +0100
+++ b/src/Pure/ROOT.ML	Mon Jan 07 10:17:11 2013 +0100
@@ -301,7 +301,10 @@
 
 use "ProofGeneral/pgip_isabelle.ML";
 
-use "ProofGeneral/preferences.ML";
+(use
+  |> Unsynchronized.setmp Proofterm.proofs 0
+  |> Unsynchronized.setmp Multithreading.max_threads 0)
+  "ProofGeneral/preferences.ML";
 
 use "ProofGeneral/pgip_parser.ML";