# HG changeset patch
# User wenzelm
# Date 896350957 -7200
# Node ID 8b94f31a3022c77994e8716b82943e34d46fb209
# Parent  f14ec8ec1db1c62afe563176a0c72d5627f38685
README, Pure/ROOT.ML: version set automatically;

diff -r f14ec8ec1db1 -r 8b94f31a3022 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