# HG changeset patch
# User wenzelm
# Date 855246245 -3600
# Node ID b6e37441acb8c97210d878f75affc794d0771daa
# Parent  e08c25821e089d679e6df3771d6bc8816ac16dac
cd made readably again;

diff -r e08c25821e08 -r b6e37441acb8 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Wed Feb 05 09:56:06 1997 +0100
+++ b/src/Pure/ROOT.ML	Thu Feb 06 17:24:05 1997 +0100
@@ -21,9 +21,9 @@
 use "term.ML";
 
 (*Syntax module*)
-OS.FileSys.chDir "Syntax";
+cd "Syntax";
 use "ROOT.ML";
-OS.FileSys.chDir "..";
+cd "..";
 
 use "type.ML";
 use "sign.ML";
@@ -48,9 +48,9 @@
 structure CPure = struct val thy = Theory.cpure_thy end;
 
 (*Theory parser and loader*)
-OS.FileSys.chDir "Thy";
+cd "Thy";
 use "ROOT.ML";
-OS.FileSys.chDir "..";
+cd "..";
 
 use "install_pp.ML";
 fun init_database () = (init_thy_reader (); init_pps ());