# HG changeset patch
# User paulson
# Date 847878428 -3600
# Node ID 8d42a7bccf0b0880dff8e46c71c4811be8b2e7ec
# Parent  29e56f003599bc0098426595378b2eb1eef74bc5
Updated version and date

diff -r 29e56f003599 -r 8d42a7bccf0b src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Wed Nov 13 10:42:50 1996 +0100
+++ b/src/Pure/ROOT.ML	Wed Nov 13 10:47:08 1996 +0100
@@ -12,7 +12,7 @@
 *)
 
 val banner = "Pure Isabelle";
-val version = "Isabelle-94 revision 6: July 96";
+val version = "Isabelle-94 revision 7: November 96";
 
 print_depth 1;