# HG changeset patch
# User wenzelm
# Date 1216130389 -7200
# Node ID 8fd5662ccd97112796872962078e816881ad85b4
# Parent  a21271f74bc747c45ae83fb4bf2dd423c24dffe4
tuned changelogentry;

diff -r a21271f74bc7 -r 8fd5662ccd97 Admin/Mercurial/isabelle-style.diff
--- a/Admin/Mercurial/isabelle-style.diff	Tue Jul 15 15:46:43 2008 +0200
+++ b/Admin/Mercurial/isabelle-style.diff	Tue Jul 15 15:59:49 2008 +0200
@@ -1,5 +1,15 @@
 diff -r gitweb/changelogentry.tmpl isabelle/changelogentry.tmpl
-12a13,15
+2,8c2
+< <a class="title" href="{url}rev/#node|short#{sessionvars%urlparameter}"><span class="age">#date|age# ago</span>#desc|strip|firstline|escape#<span class="logtags"> {inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a>
+< </div>
+< <div class="title_text">
+< <div class="log_link">
+< <a href="{url}rev/#node|short#{sessionvars%urlparameter}">changeset</a><br/>
+< </div>
+< <i>#author|obfuscate# [#date|rfc822date#] rev #rev#</i><br/>
+---
+> <a class="title" href="{url}rev/#node|short#{sessionvars%urlparameter}"><span class="age">#date|age# ago</span>#author|obfuscate# [#date|rfc822date#] rev #rev#<span class="logtags"> {inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a>
+12a7,9
 > <div class="files">
 > #files#
 > </div>