Fill in version information in lib/Tools/version.
authorberghofe
Mon Feb 03 11:44:23 2003 +0100 (2003-02-03)
changeset 1380384cb1ff80f25
parent 13802 ebed89f74e59
child 13804 d643300e4fc0
Fill in version information in lib/Tools/version.
Admin/makedist
     1.1 --- a/Admin/makedist	Mon Feb 03 11:08:10 2003 +0100
     1.2 +++ b/Admin/makedist	Mon Feb 03 11:44:23 2003 +0100
     1.3 @@ -185,6 +185,7 @@
     1.4  
     1.5  perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index.html
     1.6  perl -pi -e "s/Isabelle repository version/$DISTVERSION/" src/Pure/ROOT.ML
     1.7 +perl -pi -e "s/Isabelle repository version/$DISTVERSION/" lib/Tools/version
     1.8  perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README.html
     1.9  lynx -dump README.html >README
    1.10