1.1 --- a/Admin/makedist	Thu May 28 17:21:52 1998 +0200
     1.2 +++ b/Admin/makedist	Fri May 29 13:49:50 1998 +0200
     1.3 @@ -149,8 +149,8 @@
     1.4    } >UNOFFICIAL
     1.5  fi
     1.6  
     1.7 -perl -pi -e "s/Internal working version of Isabelle/$DISTVERSION/" src/Pure/ROOT.ML
     1.8 -perl -pi -e "s/an internal working version of Isabelle/$DISTVERSION/" README.html
     1.9 +perl -pi -e "s/Isabelle repository/$DISTVERSION/" src/Pure/ROOT.ML
    1.10 +perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README.html
    1.11  lynx -dump README.html >README
    1.12  
    1.13