src/Pure/ROOT.ML
changeset 2236 c7869a443b14
parent 2183 8d42a7bccf0b
child 2582 b6e37441acb8
     1.1 --- a/src/Pure/ROOT.ML	Wed Nov 27 10:31:05 1996 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Wed Nov 27 10:34:28 1996 +0100
     1.3 @@ -21,9 +21,9 @@
     1.4  use "term.ML";
     1.5  
     1.6  (*Syntax module*)
     1.7 -cd "Syntax";
     1.8 +OS.FileSys.chDir "Syntax";
     1.9  use "ROOT.ML";
    1.10 -cd "..";
    1.11 +OS.FileSys.chDir "..";
    1.12  
    1.13  use "type.ML";
    1.14  use "sign.ML";
    1.15 @@ -48,9 +48,9 @@
    1.16  structure CPure = struct val thy = Theory.cpure_thy end;
    1.17  
    1.18  (*Theory parser and loader*)
    1.19 -cd "Thy";
    1.20 +OS.FileSys.chDir "Thy";
    1.21  use "ROOT.ML";
    1.22 -cd "..";
    1.23 +OS.FileSys.chDir "..";
    1.24  
    1.25  use "install_pp.ML";
    1.26  fun init_database () = (init_thy_reader (); init_pps ());