src/Pure/ROOT.ML
changeset 51993 ea123790121b
parent 51969 1767d4feef7d
child 52006 9402221f77dd
     1.1 --- a/src/Pure/ROOT.ML	Tue May 14 21:40:25 2013 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Tue May 14 21:56:19 2013 +0200
     1.3 @@ -298,8 +298,6 @@
     1.4  
     1.5  (* configuration for Proof General *)
     1.6  
     1.7 -use "ProofGeneral/pgip_types.ML";
     1.8 -
     1.9  (use
    1.10    |> Unsynchronized.setmp Proofterm.proofs 0
    1.11    |> Unsynchronized.setmp Multithreading.max_threads 0)