--- a/src/Pure/ML-Systems/alice.ML Tue Jul 17 16:14:42 2007 +0200
+++ b/src/Pure/ML-Systems/alice.ML Tue Jul 17 22:48:39 2007 +0200
@@ -7,6 +7,7 @@
$ cd Isabelle/src/Pure
$ env ALICE_JIT_MODE=0 alice
+- val ml_system = "alice";
- use "ML-Systems/alice.ML";
- use "ROOT.ML";
- Session.finish ();