# HG changeset patch
# User wenzelm
# Date 1215635014 -7200
# Node ID 5247c16cc9ca7c7838d8f2b90ebebd42c9662f43
# Parent  a55484e65b657531f24d1152ae5acac50a9fb3cd
changes wrt. gitweb style;

diff -r a55484e65b65 -r 5247c16cc9ca Admin/Mercurial/isabelle-style.diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Mercurial/isabelle-style.diff	Wed Jul 09 22:23:34 2008 +0200
@@ -0,0 +1,14 @@
+diff -r gitweb/changelogentry.tmpl isabelle/changelogentry.tmpl
+12a13,15
+> <div class="files">
+> #files#
+> </div>
+diff -r gitweb/summary.tmpl isabelle/summary.tmpl
+49,55d48
+< <div><a class="title" href="#">branches</a></div>
+< <table cellspacing="0">
+< {branches%branchentry}
+< <tr class="light">
+<   <td colspan="4"><a class="list"  href="#">...</a></td>
+< </tr>
+< </table>