slightly odd duplication of Pure options for Proof General (amending cb5cdbb645cd);
authorwenzelm
Mon Jan 07 10:17:11 2013 +0100 (2013-01-07)
changeset 5075737091451ba1a
parent 50756 c96bb430ddb0
child 50758 26936f4ae087
child 50760 eee13361ec0a
slightly odd duplication of Pure options for Proof General (amending cb5cdbb645cd);
src/Pure/ROOT.ML
     1.1 --- a/src/Pure/ROOT.ML	Sun Jan 06 17:38:29 2013 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Mon Jan 07 10:17:11 2013 +0100
     1.3 @@ -301,7 +301,10 @@
     1.4  
     1.5  use "ProofGeneral/pgip_isabelle.ML";
     1.6  
     1.7 -use "ProofGeneral/preferences.ML";
     1.8 +(use
     1.9 +  |> Unsynchronized.setmp Proofterm.proofs 0
    1.10 +  |> Unsynchronized.setmp Multithreading.max_threads 0)
    1.11 +  "ProofGeneral/preferences.ML";
    1.12  
    1.13  use "ProofGeneral/pgip_parser.ML";
    1.14