# HG changeset patch
# User berghofe
# Date 1044269063 -3600
# Node ID 84cb1ff80f253f7b6bb633a7c817f482a5f2e08c
# Parent  ebed89f74e59c3540876736a26c4a4ad88dded61
Fill in version information in lib/Tools/version.

diff -r ebed89f74e59 -r 84cb1ff80f25 Admin/makedist
--- 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