updated Alice version;
authorwenzelm
Sun May 06 18:07:06 2007 +0200 (2007-05-06)
changeset 2283782cceaf768c8
parent 22836 0e52bb862910
child 22838 466599ecf610
updated Alice version;
src/Pure/ML-Systems/alice.ML
     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