src/Pure/ROOT.ML
changeset 45029 63144ea111f7
parent 45026 5c0b0d67f9b1
child 45066 11f622794ad6
     1.1 --- a/src/Pure/ROOT.ML	Wed Sep 21 22:18:17 2011 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Sep 22 20:33:08 2011 +0200
     1.3 @@ -267,6 +267,7 @@
     1.4  (* Isabelle/Isar system *)
     1.5  
     1.6  use "System/session.ML";
     1.7 +use "System/system_channel.ML";
     1.8  use "System/isabelle_process.ML";
     1.9  use "System/invoke_scala.ML";
    1.10  use "PIDE/isar_document.ML";