src/Pure/ROOT.ML
changeset 51967 43fbd02eb9d0
parent 51947 3301612c4893
child 51969 1767d4feef7d
     1.1 --- a/src/Pure/ROOT.ML	Mon May 13 20:35:04 2013 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Mon May 13 21:03:30 2013 +0200
     1.3 @@ -299,20 +299,13 @@
     1.4  (* configuration for Proof General *)
     1.5  
     1.6  use "ProofGeneral/pgip_types.ML";
     1.7 -use "ProofGeneral/pgml.ML";
     1.8 -use "ProofGeneral/pgip_markup.ML";
     1.9 -use "ProofGeneral/pgip_input.ML";
    1.10  use "ProofGeneral/pgip_output.ML";
    1.11  
    1.12 -use "ProofGeneral/pgip_isabelle.ML";
    1.13 -
    1.14  (use
    1.15    |> Unsynchronized.setmp Proofterm.proofs 0
    1.16    |> Unsynchronized.setmp Multithreading.max_threads 0)
    1.17    "ProofGeneral/preferences.ML";
    1.18  
    1.19 -use "ProofGeneral/pgip_parser.ML";
    1.20 -
    1.21  use "ProofGeneral/proof_general_pgip.ML";
    1.22  use "ProofGeneral/proof_general_emacs.ML";
    1.23