src/Pure/ROOT.ML
changeset 47336 bed4b2738d8a
parent 47057 12423b36fcc4
child 47813 18de60b8c906
     1.1 --- a/src/Pure/ROOT.ML	Wed Apr 04 14:00:47 2012 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Wed Apr 04 14:19:47 2012 +0200
     1.3 @@ -251,6 +251,7 @@
     1.4  use "Thy/present.ML";
     1.5  use "Thy/thy_load.ML";
     1.6  use "Thy/thy_info.ML";
     1.7 +use "PIDE/command.ML";
     1.8  use "PIDE/document.ML";
     1.9  use "Thy/rail.ML";
    1.10