src/Pure/ROOT.ML
changeset 58846 98c03412079b
parent 58842 22b87ab47d3b
child 58903 38c72f5f6c2e
     1.1 --- a/src/Pure/ROOT.ML	Fri Oct 31 15:15:10 2014 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Fri Oct 31 16:03:45 2014 +0100
     1.3 @@ -327,7 +327,6 @@
     1.4  use "System/isabelle_process.ML";
     1.5  use "System/invoke_scala.ML";
     1.6  use "PIDE/protocol.ML";
     1.7 -use "System/isar.ML";
     1.8  
     1.9  
    1.10  (* miscellaneous tools and packages for Pure Isabelle *)