--- a/src/Pure/ML-Systems/alice.ML Tue Jul 17 13:19:20 2007 +0200
+++ b/src/Pure/ML-Systems/alice.ML Tue Jul 17 13:19:21 2007 +0200
@@ -2,6 +2,14 @@
ID: $Id$
Compatibility file for Alice 1.4.
+
+NOTE: there is no wrapper script; may run it interactively as follows:
+
+$ cd Isabelle/src/Pure
+$ env ALICE_JIT_MODE=0 alice
+- use "ML-Systems/alice.ML";
+- use "ROOT.ML";
+- Session.finish ();
*)
fun exit 0 = (OS.Process.exit OS.Process.success): unit
@@ -119,6 +127,12 @@
(** OS related **)
+(* current directory *)
+
+val cd = OS.FileSys.chDir;
+val pwd = OS.FileSys.getDir;
+
+
(* system command execution *)
(*execute Unix command which doesn't take any input from stdin and