# HG changeset patch
# User paulson
# Date 808400547 -7200
# Node ID 7d6b0241afabbf87d4d94a412a1c1ebbba71c088
# Parent  c9f7848bc5ee5ffab8125eb8be3698e2948b1e7a
updated version number to revision 4

diff -r c9f7848bc5ee -r 7d6b0241afab src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Fri Aug 11 12:36:15 1995 +0200
+++ b/src/Pure/ROOT.ML	Mon Aug 14 13:42:27 1995 +0200
@@ -12,7 +12,7 @@
 *)
 
 val banner = "Pure Isabelle";
-val version = "Isabelle-94 revision 3: April 95";
+val version = "Isabelle-94 revision 4: August 95";
 
 print_depth 1;