Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/Mercurial/isabelle-style.diff
author wenzelm
Mon, 14 Jul 2008 23:11:20 +0200
changeset 27593 602dd4b219c0
parent 27513 6d082d24aa75
child 27608 8fd5662ccd97
permissions -rw-r--r--
tuned filelogentry;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27511
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
     1
 
diff -r gitweb/changelogentry.tmpl isabelle/changelogentry.tmpl
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
     2
 
12a13,15
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
     3
 
> <div class="files">
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
     4
 
> #files#
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
     5
 
> </div>
27593
602dd4b219c0 tuned filelogentry;
wenzelm
parents: 27513
diff changeset 
     6
 
diff -r gitweb/map isabelle/map
602dd4b219c0 tuned filelogentry;
wenzelm
parents: 27513
diff changeset 
     7
 
57c57
602dd4b219c0 tuned filelogentry;
wenzelm
parents: 27513
diff changeset 
     8
 
< filelogentry = '<tr class="parity#parity#"><td class="age"><i>#date|age# ago</i></td><td><a class="list" href="{url}rev/#node|short#{sessionvars%urlparameter}"><b>#desc|strip|firstline|escape#</b></a></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>'
602dd4b219c0 tuned filelogentry;
wenzelm
parents: 27513
diff changeset 
     9
 
---
602dd4b219c0 tuned filelogentry;
wenzelm
parents: 27513
diff changeset 
    10
 
> filelogentry = '<tr class="parity#parity#"><td class="age"><i>#date|age# ago</i></td><td><i>#author|person#</i></td><td><a class="list" href="{url}rev/#node|short#{sessionvars%urlparameter}"><b>#desc|strip|firstline|escape#</b></a></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>'
27511
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    11
 
diff -r gitweb/summary.tmpl isabelle/summary.tmpl
27513
6d082d24aa75 removed owner;
wenzelm
parents: 27511
diff changeset 
    12
 
33d32
6d082d24aa75 removed owner;
wenzelm
parents: 27511
diff changeset 
    13
 
< <tr><td>owner</td><td>#owner|obfuscate#</td></tr>
6d082d24aa75 removed owner;
wenzelm
parents: 27511
diff changeset 
    14
 
49,55d47
27511
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    15
 
< <div><a class="title" href="#">branches</a></div>
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    16
 
< <table cellspacing="0">
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    17
 
< {branches%branchentry}
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    18
 
< <tr class="light">
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    19
 
<   <td colspan="4"><a class="list"  href="#">...</a></td>
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    20
 
< </tr>
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    21
 
< </table>
isabelle