Admin/makedist

--- a/Admin/makedist	Thu May 28 12:22:05 1998 +0200
+++ b/Admin/makedist	Thu May 28 12:22:37 1998 +0200
@@ -76,6 +76,7 @@
 # dist version
 
 DATE=$(date "+%d-%b-%Y")
+DISTDATE=$(date "+%B %Y")
 
 if [ "$VERSION" = "-" ]; then
   DISTNAME=Isabelle_$DATE
@@ -146,6 +147,8 @@
   } >UNOFFICIAL
 fi
 
+perl -pi -e "s/Internal working version of Isabelle/$DISTNAME: $DISTDATE/" src/Pure/ROOT.ML
+perl -pi -e "s/an internal working version of Isabelle/$DISTNAME: $DISTDATE/" README.html
 lynx -dump README.html >README