# HG changeset patch
# User kleing
# Date 944736000 -3600
# Node ID b15286c967889062ecb483c0d76ee7963db637b4
# Parent  3c587e7b8fe51aef75321b4d9e400b26330a63a8
ID line added

diff -r 3c587e7b8fe5 -r b15286c96788 Admin/page/bin/mkcontents
--- a/Admin/page/bin/mkcontents	Thu Dec 09 11:34:32 1999 +0100
+++ b/Admin/page/bin/mkcontents	Thu Dec 09 11:40:00 1999 +0100
@@ -1,6 +1,9 @@
 #!/usr/bin/perl
 
 # mkcontents.pl
+#
+#   $ID$
+#
 #   simple script to create a html version of the Contents file in the
 #   Isabelle documentation directory.
 #