changeset 52006 | 9402221f77dd |
parent 51993 | ea123790121b |
child 52007 | 0b1183012a3c |
--- a/src/Pure/ROOT.ML Wed May 15 12:13:38 2013 +0200 +++ b/src/Pure/ROOT.ML Wed May 15 17:39:41 2013 +0200 @@ -303,8 +303,7 @@ |> Unsynchronized.setmp Multithreading.max_threads 0) "ProofGeneral/preferences.ML"; -use "ProofGeneral/proof_general_pgip.ML"; -use "ProofGeneral/proof_general_emacs.ML"; +use "ProofGeneral/proof_general.ML"; (* ML toplevel pretty printing *)