src/Pure/ROOT.ML
changeset 38412 c23f3abbf42d
parent 38379 67d71449e85b
child 38418 9a7af64d71bb
     1.1 --- a/src/Pure/ROOT.ML	Sat Aug 14 13:24:06 2010 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Sat Aug 14 18:43:45 2010 +0200
     1.3 @@ -255,9 +255,9 @@
     1.4  (* Isabelle/Isar system *)
     1.5  
     1.6  use "System/session.ML";
     1.7 +use "System/isabelle_process.ML";
     1.8 +use "System/isar_document.ML";
     1.9  use "System/isar.ML";
    1.10 -use "System/isabelle_process.ML";
    1.11 -use "Isar/isar_document.ML";
    1.12  
    1.13  
    1.14  (* miscellaneous tools and packages for Pure Isabelle *)