| changeset 4986 | d4f257d3445a |
| parent 4982 | 6f96354267e0 |
| child 5169 | c677baeac0f7 |
--- a/Admin/makedist Thu May 28 17:21:52 1998 +0200 +++ b/Admin/makedist Fri May 29 13:49:50 1998 +0200 @@ -149,8 +149,8 @@ } >UNOFFICIAL fi -perl -pi -e "s/Internal working version of Isabelle/$DISTVERSION/" src/Pure/ROOT.ML -perl -pi -e "s/an internal working version of Isabelle/$DISTVERSION/" README.html +perl -pi -e "s/Isabelle repository/$DISTVERSION/" src/Pure/ROOT.ML +perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README.html lynx -dump README.html >README