# HG changeset patch
# User wenzelm
# Date 864228106 -7200
# Node ID 87e734c72152a0d735dac3be1e52c61ecc7df7e9
# Parent  815ef58483246fa8f5337845102b652f50836724
set version;

diff -r 815ef5848324 -r 87e734c72152 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Wed May 21 17:13:00 1997 +0200
+++ b/src/Pure/ROOT.ML	Wed May 21 17:21:46 1997 +0200
@@ -12,7 +12,7 @@
 *)
 
 val banner = "Pure Isabelle";
-val version = "Isabelle-94 revision 7: November 96";
+val version = "Isabelle-94 revision 8: May 1997";
 
 print_depth 1;