# HG changeset patch
# User lcp
# Date 793904738 -3600
# Node ID 8aaa8c5a567e4243f2333b1cdf89801d06848e4d
# Parent  ed9e0c70a5da56a745f1e704a7322e15b78bb5b6
Updated the "version" variable (which was never done for
Isabelle-94 revisions 1 and 2!)

diff -r ed9e0c70a5da -r 8aaa8c5a567e src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Mon Feb 27 17:51:12 1995 +0100
+++ b/src/Pure/ROOT.ML	Mon Feb 27 18:05:38 1995 +0100
@@ -12,7 +12,7 @@
 *)
 
 val banner = "Pure Isabelle";
-val version = "Isabelle-94: September 94";
+val version = "Isabelle-94 revision 3: March 95";
 
 print_depth 1;