src/Pure/ML-Systems/alice.ML
changeset 23826 463903573934
parent 23139 aa899bce7c3b
child 23835 1990e9acc7d1
     1.1 --- a/src/Pure/ML-Systems/alice.ML	Tue Jul 17 13:19:20 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/alice.ML	Tue Jul 17 13:19:21 2007 +0200
     1.3 @@ -2,6 +2,14 @@
     1.4      ID:         $Id$
     1.5  
     1.6  Compatibility file for Alice 1.4.
     1.7 +
     1.8 +NOTE: there is no wrapper script; may run it interactively as follows:
     1.9 +
    1.10 +$ cd Isabelle/src/Pure
    1.11 +$ env ALICE_JIT_MODE=0 alice
    1.12 +- use "ML-Systems/alice.ML";
    1.13 +- use "ROOT.ML";
    1.14 +- Session.finish ();
    1.15  *)
    1.16  
    1.17  fun exit 0 = (OS.Process.exit OS.Process.success): unit
    1.18 @@ -119,6 +127,12 @@
    1.19  
    1.20  (** OS related **)
    1.21  
    1.22 +(* current directory *)
    1.23 +
    1.24 +val cd = OS.FileSys.chDir;
    1.25 +val pwd = OS.FileSys.getDir;
    1.26 +
    1.27 +
    1.28  (* system command execution *)
    1.29  
    1.30  (*execute Unix command which doesn't take any input from stdin and