# HG changeset patch
# User wenzelm
# Date 1178467626 -7200
# Node ID 82cceaf768c8040880caf785423a4f817dd27806
# Parent  0e52bb86291044efbc0121233f33a0a5d2ddf63c
updated Alice version;

diff -r 0e52bb862910 -r 82cceaf768c8 src/Pure/ML-Systems/alice.ML
--- a/src/Pure/ML-Systems/alice.ML	Sun May 06 18:07:04 2007 +0200
+++ b/src/Pure/ML-Systems/alice.ML	Sun May 06 18:07:06 2007 +0200
@@ -1,7 +1,7 @@
 (*  Title:      Pure/ML-Systems/alice.ML
     ID:         $Id$
 
-Compatibility file for Alice 1.4 (CVS version).
+Compatibility file for Alice 1.4.
 *)
 
 fun exit 0 = (OS.Process.exit OS.Process.success): unit