src/Pure/ML-Systems/alice.ML
changeset 22837 82cceaf768c8
parent 22576 1beba4e2aa9f
child 23139 aa899bce7c3b
     1.1 --- a/src/Pure/ML-Systems/alice.ML	Sun May 06 18:07:04 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/alice.ML	Sun May 06 18:07:06 2007 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  (*  Title:      Pure/ML-Systems/alice.ML
     1.5      ID:         $Id$
     1.6  
     1.7 -Compatibility file for Alice 1.4 (CVS version).
     1.8 +Compatibility file for Alice 1.4.
     1.9  *)
    1.10  
    1.11  fun exit 0 = (OS.Process.exit OS.Process.success): unit