src/Pure/ROOT.ML
changeset 45670 b84170538043
parent 45666 d83797ef0d2d
child 45672 a497c5d4a523
     1.1 --- a/src/Pure/ROOT.ML	Tue Nov 29 06:09:41 2011 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Tue Nov 29 19:49:36 2011 +0100
     1.3 @@ -30,8 +30,8 @@
     1.4  use "General/properties.ML";
     1.5  use "General/output.ML";
     1.6  use "General/timing.ML";
     1.7 -use "General/markup.ML";
     1.8 -use "General/isabelle_markup.ML";
     1.9 +use "PIDE/markup.ML";
    1.10 +use "PIDE/isabelle_markup.ML";
    1.11  fun legacy_feature s = warning (Markup.markup Isabelle_Markup.legacy ("Legacy feature! " ^ s));
    1.12  use "General/scan.ML";
    1.13  use "General/source.ML";