set version;
authorwenzelm
Wed May 21 17:21:46 1997 +0200 (1997-05-21)
changeset 328087e734c72152
parent 3279 815ef5848324
child 3281 d4ddd43f418a
set version;
src/Pure/ROOT.ML
     1.1 --- a/src/Pure/ROOT.ML	Wed May 21 17:13:00 1997 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Wed May 21 17:21:46 1997 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4  *)
     1.5  
     1.6  val banner = "Pure Isabelle";
     1.7 -val version = "Isabelle-94 revision 7: November 96";
     1.8 +val version = "Isabelle-94 revision 8: May 1997";
     1.9  
    1.10  print_depth 1;
    1.11