# HG changeset patch
# User wenzelm
# Date 1184705319 -7200
# Node ID 1990e9acc7d1e70cda783b29d533d234c686a274
# Parent  ad6ad61332fa558d2792e687ab512d5f61c07ad7
tuned comment;

diff -r ad6ad61332fa -r 1990e9acc7d1 src/Pure/ML-Systems/alice.ML
--- 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 ();