1.1 --- a/Admin/makedist	Thu May 28 12:22:05 1998 +0200
     1.2 +++ b/Admin/makedist	Thu May 28 12:22:37 1998 +0200
     1.3 @@ -76,6 +76,7 @@
     1.4  # dist version
     1.5  
     1.6  DATE=$(date "+%d-%b-%Y")
     1.7 +DISTDATE=$(date "+%B %Y")
     1.8  
     1.9  if [ "$VERSION" = "-" ]; then
    1.10    DISTNAME=Isabelle_$DATE
    1.11 @@ -146,6 +147,8 @@
    1.12    } >UNOFFICIAL
    1.13  fi
    1.14  
    1.15 +perl -pi -e "s/Internal working version of Isabelle/$DISTNAME: $DISTDATE/" src/Pure/ROOT.ML
    1.16 +perl -pi -e "s/an internal working version of Isabelle/$DISTNAME: $DISTDATE/" README.html
    1.17  lynx -dump README.html >README
    1.18  
    1.19