1.1 --- a/src/Pure/ROOT.ML Wed Feb 05 09:56:06 1997 +0100
1.2 +++ b/src/Pure/ROOT.ML Thu Feb 06 17:24:05 1997 +0100
1.3 @@ -21,9 +21,9 @@
1.4 use "term.ML";
1.5
1.6 (*Syntax module*)
1.7 -OS.FileSys.chDir "Syntax";
1.8 +cd "Syntax";
1.9 use "ROOT.ML";
1.10 -OS.FileSys.chDir "..";
1.11 +cd "..";
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 -OS.FileSys.chDir "Thy";
1.20 +cd "Thy";
1.21 use "ROOT.ML";
1.22 -OS.FileSys.chDir "..";
1.23 +cd "..";
1.24
1.25 use "install_pp.ML";
1.26 fun init_database () = (init_thy_reader (); init_pps ());