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.
tuned;
authorwenzelm
Fri, 09 Jan 1998 20:28:18 +0100
changeset 4550 53553ccda0e6
parent 4549 aa02667fb3da
child 4551 41fa62c229c3
tuned;
Admin/index.html file | annotate | diff | comparison | revisions
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/index.html	Fri Jan 09 20:07:57 1998 +0100
+++ b/Admin/index.html	Fri Jan 09 20:28:18 1998 +0100
@@ -72,9 +72,9 @@
 
 </ul>
 
-<p><hr><p>
+<p><hr>
 
-<i>{DATE}</i>
+<i>{AUTHOR} {DATE}</i>
 
 </body>
 
--- a/Admin/makedist	Fri Jan 09 20:07:57 1998 +0100
+++ b/Admin/makedist	Fri Jan 09 20:28:18 1998 +0100
@@ -176,6 +176,7 @@
  "s/{ISABELLE}/$DISTNAME/g; \
   s/{PACKED_SIZE}/$PACKED_SIZE/g; \
   s/{UNPACKED_SIZE}/$UNPACKED_SIZE/g; \
+  s/{AUTHOR}/$LOGNAME/g; \
   s/{DATE}/$DATE/g;" index.html
isabelle