tuned comment;
authorwenzelm
Tue Jul 17 22:48:39 2007 +0200 (2007-07-17)
changeset 238351990e9acc7d1
parent 23834 ad6ad61332fa
child 23836 c6094fe98dfd
tuned comment;
src/Pure/ML-Systems/alice.ML
     1.1 --- a/src/Pure/ML-Systems/alice.ML	Tue Jul 17 16:14:42 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/alice.ML	Tue Jul 17 22:48:39 2007 +0200
     1.3 @@ -7,6 +7,7 @@
     1.4  
     1.5  $ cd Isabelle/src/Pure
     1.6  $ env ALICE_JIT_MODE=0 alice
     1.7 +- val ml_system = "alice";
     1.8  - use "ML-Systems/alice.ML";
     1.9  - use "ROOT.ML";
    1.10  - Session.finish ();