Uses Basis Library equivalent of cd
authorpaulson
Wed Nov 27 10:34:28 1996 +0100 (1996-11-27)
changeset 2236c7869a443b14
parent 2235 866dbb04816c
child 2237 f01ac387e82b
Uses Basis Library equivalent of cd
src/CCL/ex/ROOT.ML
src/FOL/ex/ROOT.ML
src/FOLP/ex/ROOT.ML
src/HOLCF/ex/ROOT.ML
src/HOLCF/explicit_domains/ROOT.ML
src/Pure/ROOT.ML
     1.1 --- a/src/CCL/ex/ROOT.ML	Wed Nov 27 10:31:05 1996 +0100
     1.2 +++ b/src/CCL/ex/ROOT.ML	Wed Nov 27 10:34:28 1996 +0100
     1.3 @@ -16,5 +16,5 @@
     1.4  time_use_thy "Stream";
     1.5  time_use_thy "Flag";
     1.6  
     1.7 -cd "..";
     1.8 +OS.FileSys.chDir "..";
     1.9  maketest"END: Root file for CCL examples";
     2.1 --- a/src/FOL/ex/ROOT.ML	Wed Nov 27 10:31:05 1996 +0100
     2.2 +++ b/src/FOL/ex/ROOT.ML	Wed Nov 27 10:34:28 1996 +0100
     2.3 @@ -41,5 +41,5 @@
     2.4  time_use_thy "IffOracle";
     2.5  
     2.6  
     2.7 -cd "..";
     2.8 +OS.FileSys.chDir "..";
     2.9  maketest"END: Root file for FOL examples";
     3.1 --- a/src/FOLP/ex/ROOT.ML	Wed Nov 27 10:31:05 1996 +0100
     3.2 +++ b/src/FOLP/ex/ROOT.ML	Wed Nov 27 10:34:28 1996 +0100
     3.3 @@ -31,5 +31,5 @@
     3.4  time_use     "prop.ML";
     3.5  time_use     "quant.ML";
     3.6  
     3.7 -cd "..";
     3.8 +OS.FileSys.chDir "..";
     3.9  maketest"END: Root file for FOLP examples";
     4.1 --- a/src/HOLCF/ex/ROOT.ML	Wed Nov 27 10:31:05 1996 +0100
     4.2 +++ b/src/HOLCF/ex/ROOT.ML	Wed Nov 27 10:34:28 1996 +0100
     4.3 @@ -16,5 +16,5 @@
     4.4  time_use_thy "Fix2";
     4.5  time_use "loeckx.ML";
     4.6  
     4.7 -cd "..";
     4.8 +OS.FileSys.chDir "..";
     4.9  maketest     "END: Root file for HOLCF examples";
     5.1 --- a/src/HOLCF/explicit_domains/ROOT.ML	Wed Nov 27 10:31:05 1996 +0100
     5.2 +++ b/src/HOLCF/explicit_domains/ROOT.ML	Wed Nov 27 10:34:28 1996 +0100
     5.3 @@ -20,5 +20,5 @@
     5.4  time_use_thy "Dagstuhl";
     5.5  time_use_thy "Focus_ex";
     5.6  
     5.7 -cd "..";
     5.8 +OS.FileSys.chDir "..";
     5.9  maketest "END: Root file for HOLCF examples: explicit domain axiomatization";
     6.1 --- a/src/Pure/ROOT.ML	Wed Nov 27 10:31:05 1996 +0100
     6.2 +++ b/src/Pure/ROOT.ML	Wed Nov 27 10:34:28 1996 +0100
     6.3 @@ -21,9 +21,9 @@
     6.4  use "term.ML";
     6.5  
     6.6  (*Syntax module*)
     6.7 -cd "Syntax";
     6.8 +OS.FileSys.chDir "Syntax";
     6.9  use "ROOT.ML";
    6.10 -cd "..";
    6.11 +OS.FileSys.chDir "..";
    6.12  
    6.13  use "type.ML";
    6.14  use "sign.ML";
    6.15 @@ -48,9 +48,9 @@
    6.16  structure CPure = struct val thy = Theory.cpure_thy end;
    6.17  
    6.18  (*Theory parser and loader*)
    6.19 -cd "Thy";
    6.20 +OS.FileSys.chDir "Thy";
    6.21  use "ROOT.ML";
    6.22 -cd "..";
    6.23 +OS.FileSys.chDir "..";
    6.24  
    6.25  use "install_pp.ML";
    6.26  fun init_database () = (init_thy_reader (); init_pps ());