Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fill in version information in lib/Tools/version.
authorberghofe
Mon, 03 Feb 2003 11:44:23 +0100
changeset 13803 84cb1ff80f25
parent 13802 ebed89f74e59
child 13804 d643300e4fc0
Fill in version information in lib/Tools/version.
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/makedist	Mon Feb 03 11:08:10 2003 +0100
+++ b/Admin/makedist	Mon Feb 03 11:44:23 2003 +0100
@@ -185,6 +185,7 @@
 
 perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index.html
 perl -pi -e "s/Isabelle repository version/$DISTVERSION/" src/Pure/ROOT.ML
+perl -pi -e "s/Isabelle repository version/$DISTVERSION/" lib/Tools/version
 perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README.html
 lynx -dump README.html >README
isabelle