"Isabelle repository version";
authorwenzelm
Thu Sep 14 18:37:44 2000 +0200 (2000-09-14)
changeset 99594a2ae974043d
parent 9958 67f2920862c7
child 9960 07521b6eb888
"Isabelle repository version";
Admin/makedist
src/Pure/ROOT.ML
     1.1 --- a/Admin/makedist	Thu Sep 14 17:46:00 2000 +0200
     1.2 +++ b/Admin/makedist	Thu Sep 14 18:37:44 2000 +0200
     1.3 @@ -182,7 +182,7 @@
     1.4  fi
     1.5  
     1.6  perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index.html
     1.7 -perl -pi -e "s/Isabelle repository/$DISTVERSION/" src/Pure/ROOT.ML
     1.8 +perl -pi -e "s/Isabelle repository version/$DISTVERSION/" src/Pure/ROOT.ML
     1.9  perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README.html
    1.10  lynx -dump README.html >README
    1.11  
     2.1 --- a/src/Pure/ROOT.ML	Thu Sep 14 17:46:00 2000 +0200
     2.2 +++ b/src/Pure/ROOT.ML	Thu Sep 14 18:37:44 2000 +0200
     2.3 @@ -7,7 +7,7 @@
     2.4  *)
     2.5  
     2.6  val banner = "Pure Isabelle";
     2.7 -val version = "Isabelle repository";
     2.8 +val version = "Isabelle repository version";
     2.9  
    2.10  print_depth 1;
    2.11