# HG changeset patch # User lcp # Date 798801243 -7200 # Node ID 0140ff702b232f48cb4c7414dca663e41acad213 # Parent 96dfc9977bf50014b5343ff151f604ce299cab81 updated version diff -r 96dfc9977bf5 -r 0140ff702b23 src/Pure/ROOT.ML --- a/src/Pure/ROOT.ML Tue Apr 25 11:06:52 1995 +0200 +++ b/src/Pure/ROOT.ML Tue Apr 25 11:14:03 1995 +0200 @@ -12,7 +12,7 @@ *) val banner = "Pure Isabelle"; -val version = "Isabelle-94 revision 3: March 95"; +val version = "Isabelle-94 revision 3: April 95"; print_depth 1;