tuned comments;
authorwenzelm
Tue Apr 03 19:31:48 2007 +0200 (2007-04-03)
changeset 225761beba4e2aa9f
parent 22575 2ed8a11f3172
child 22577 1a08fce38565
tuned comments;
src/Pure/ML-Systems/alice.ML
     1.1 --- a/src/Pure/ML-Systems/alice.ML	Tue Apr 03 19:24:22 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/alice.ML	Tue Apr 03 19:31:48 2007 +0200
     1.3 @@ -2,8 +2,6 @@
     1.4      ID:         $Id$
     1.5  
     1.6  Compatibility file for Alice 1.4 (CVS version).
     1.7 -val ml_system = "alice";
     1.8 -use "ML-Systems/alice.ML";
     1.9  *)
    1.10  
    1.11  fun exit 0 = (OS.Process.exit OS.Process.success): unit