# HG changeset patch
# User wenzelm
# Date 1288990128 -3600
# Node ID caf19101073d84ed68f1d5d2f33005f8f8cf8e03
# Parent  e239db6150e4ffc097b5d45b6f55c0de17f45d12
reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;

diff -r e239db6150e4 -r caf19101073d Admin/Mercurial/isabelle-style.diff
--- a/Admin/Mercurial/isabelle-style.diff	Fri Nov 05 21:42:32 2010 +0100
+++ b/Admin/Mercurial/isabelle-style.diff	Fri Nov 05 21:48:48 2010 +0100
@@ -1,56 +1,69 @@
-diff -u gitweb/changelogentry.tmpl isabelle/changelogentry.tmpl
---- gitweb/changelogentry.tmpl	2010-02-01 16:34:34.000000000 +0100
-+++ isabelle/changelogentry.tmpl	2010-03-03 15:12:12.000000000 +0100
-@@ -1,14 +1,12 @@
- <div>
--<a class="title" href="{url}rev/{node|short}{sessionvars%urlparameter}"><span class="age">{date|age}</span>{desc|strip|firstline|escape|nonempty}<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}</span>
-+{author|obfuscate} [{date|rfc822date}] rev {rev}<span class="logtags"> {inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a>
- </div>
- <div class="log_body">
- {desc|strip|escape|addbreaks|nonempty}
- <br/>
-+<div class="files">
-+{files}
-+</div>
- <br/>
- </div>
-diff -u gitweb/map isabelle/map
---- gitweb/map	2010-02-01 16:34:34.000000000 +0100
-+++ isabelle/map	2010-04-29 23:43:54.000000000 +0200
-@@ -78,7 +78,7 @@
-   <tr style="font-family:monospace" class="parity{parity}">
-     <td class="linenr" style="text-align: right;">
-       <a href="{url}annotate/{node|short}/{file|urlescape}{sessionvars%urlparameter}#l{targetline}"
--         title="{node|short}: {desc|escape|firstline}">{author|user}@{rev}</a>
-+         title="{node|short}: {desc|escape}">{author|user}@{rev}</a>
-     </td>
-     <td><pre><a class="linenr" href="#{lineid}" id="{lineid}">{linenumber}</a></pre></td>
-     <td><pre>{line|escape}</pre></td>
-@@ -206,9 +206,10 @@
-   <tr class="parity{parity}">
-     <td class="age"><i>{date|age}</i></td>
-     <td><i>{author|person}</i></td>
-+    <td><i>{date|shortdate}</i></td>
-     <td>
-       <a class="list" href="{url}rev/{node|short}{sessionvars%urlparameter}">
--        <b>{desc|strip|firstline|escape|nonempty}</b>
-+        <b>{desc|strip|escape|nonempty}</b>
-         <span class="logtags">{inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span>
-       </a>
-     </td>
-@@ -225,6 +226,7 @@
-         <b>{desc|strip|firstline|escape|nonempty}</b>
-       </a>
-     </td>
-+    <td><i>{author|person}</i></td>
-     <td class="link">
-       <a href="{url}file/{node|short}/{file|urlescape}{sessionvars%urlparameter}">file</a>&nbsp;|&nbsp;<a href="{url}diff/{node|short}/{file|urlescape}{sessionvars%urlparameter}">diff</a>&nbsp;|&nbsp;<a href="{url}annotate/{node|short}/{file|urlescape}{sessionvars%urlparameter}">annotate</a> {rename%filelogrename}</td>
-     </tr>'
-Only in isabelle/: map~
+diff -r gitweb/changelogentry.tmpl isabelle-orig/changelogentry.tmpl
+2,8c2,3
+< <a class="title" href="{url}rev/{node|short}{sessionvars%urlparameter}"><span class="age">{date|age} ago</span>{desc|strip|firstline|escape|nonempty}<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}</span>
+> {author|obfuscate} [{date|rfc822date}] rev {rev}<span class="logtags"> {inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a>
+12a8,10
+> <div class="files">
+> {files}
+> </div>
+diff -r gitweb/changeset.tmpl isabelle-orig/changeset.tmpl
+32c32
+< <tr><td></td><td>{date|date} ({date|age} ago)</td></tr>
+---
+> <tr><td></td><td>{date|date} ({date|age})</td></tr>
+diff -r gitweb/fileannotate.tmpl isabelle-orig/fileannotate.tmpl
+39c39
+<  <td>{date|date} ({date|age} ago)</td></tr>
+---
+>  <td>{date|date} ({date|age})</td></tr>
+diff -r gitweb/filerevision.tmpl isabelle-orig/filerevision.tmpl
+39c39
+<  <td>{date|date} ({date|age} ago)</td></tr>
+---
+>  <td>{date|date} ({date|age})</td></tr>
+diff -r gitweb/graph.tmpl isabelle-orig/graph.tmpl
+66c66
+< revlink += '<span class="info">_DATE ago, by _USER</span></li>';
+---
+> revlink += '<span class="info">_DATE, by _USER</span></li>';
+diff -r gitweb/map isabelle-orig/map
+81c81
+<          title="{node|short}: {desc|escape|firstline}">{author|user}@{rev}</a>
+---
+>          title="{node|short}: {desc|escape}">{author|user}@{rev}</a>
+153c153
+<     <td class="age"><i>{date|age} ago</i></td>
+---
+>     <td class="age"><i>{date|age}</i></td>
+164c164
+<     <td class="age"><i>{date|age} ago</i></td>
+---
+>     <td class="age"><i>{date|age}</i></td>
+207c207
+<     <td class="age"><i>{date|age} ago</i></td>
+---
+>     <td class="age"><i>{date|age}</i></td>
+208a209
+>     <td><i>{date|shortdate}</i></td>
+211c212
+<         <b>{desc|strip|firstline|escape|nonempty}</b>
+---
+>         <b>{desc|strip|escape|nonempty}</b>
+222c223
+<     <td class="age"><i>{date|age} ago</i></td>
+---
+>     <td class="age"><i>{date|age}</i></td>
+227a229
+>     <td><i>{author|person}</i></td>
+241c243
+<     <td class="age">{lastchange|age} ago</td>
+---
+>     <td class="age">{lastchange|age}</td>