src/Pure/ROOT.ML
changeset 45672 a497c5d4a523
parent 45670 b84170538043
child 45709 87017fcbad83
     1.1 --- a/src/Pure/ROOT.ML	Tue Nov 29 20:17:11 2011 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Tue Nov 29 20:18:02 2011 +0100
     1.3 @@ -270,7 +270,7 @@
     1.4  use "System/system_channel.ML";
     1.5  use "System/isabelle_process.ML";
     1.6  use "System/invoke_scala.ML";
     1.7 -use "PIDE/isar_document.ML";
     1.8 +use "PIDE/isabelle_document.ML";
     1.9  use "System/isar.ML";
    1.10  
    1.11