Admin/Mercurial/isabelle-style.diff
author wenzelm
Wed, 16 Jul 2008 14:28:47 +0200
changeset 27619 edc141a4ecde
parent 27608 8fd5662ccd97
child 29146 d4c23f16d04e
permissions -rw-r--r--
shortlogentry/filelogentry: show shortdate and full description;
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
27608
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     2
2,8c2
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     3
< <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>
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     4
< </div>
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     5
< <div class="title_text">
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     6
< <div class="log_link">
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     7
< <a href="{url}rev/#node|short#{sessionvars%urlparameter}">changeset</a><br/>
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     8
< </div>
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     9
< <i>#author|obfuscate# [#date|rfc822date#] rev #rev#</i><br/>
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
    10
---
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
    11
> <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>
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
    12
12a7,9
27511
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
    13
> <div class="files">
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
    14
> #files#
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
    15
> </div>
27619
edc141a4ecde shortlogentry/filelogentry: show shortdate and full description;
wenzelm
parents: 27608
diff changeset
    16
Only in isabelle: filelog.tmpl~
27593
602dd4b219c0 tuned filelogentry;
wenzelm
parents: 27513
diff changeset
    17
diff -r gitweb/map isabelle/map
27619
edc141a4ecde shortlogentry/filelogentry: show shortdate and full description;
wenzelm
parents: 27608
diff changeset
    18
56,57c56,57
edc141a4ecde shortlogentry/filelogentry: show shortdate and full description;
wenzelm
parents: 27608
diff changeset
    19
< shortlogentry = '<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> <span class="logtags">{inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a></td><td class="link" nowrap><a href="{url}rev/#node|short#{sessionvars%urlparameter}">changeset</a> | <a href="{url}file/#node|short#{sessionvars%urlparameter}">files</a></td></tr>'
27593
602dd4b219c0 tuned filelogentry;
wenzelm
parents: 27513
diff changeset
    20
< 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
    21
---
27619
edc141a4ecde shortlogentry/filelogentry: show shortdate and full description;
wenzelm
parents: 27608
diff changeset
    22
> shortlogentry = '<tr class="parity#parity#"><td class="age"><i>#date|age# ago</i></td><td><i>#date|shortdate#</i></td><td><i>#author|person#</i></td><td><a class="list" href="{url}rev/#node|short#{sessionvars%urlparameter}"><b>#desc|strip|escape#</b> <span class="logtags">{inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a></td><td class="link" nowrap><a href="{url}rev/#node|short#{sessionvars%urlparameter}">changeset</a> | <a href="{url}file/#node|short#{sessionvars%urlparameter}">files</a></td></tr>'
edc141a4ecde shortlogentry/filelogentry: show shortdate and full description;
wenzelm
parents: 27608
diff changeset
    23
> filelogentry = '<tr class="parity#parity#"><td class="age"><i>#date|age# ago</i></td><td><i>#date|shortdate#</i></td><td><i>#author|person#</i></td><td><a class="list" href="{url}rev/#node|short#{sessionvars%urlparameter}"><b>#desc|strip|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>'
edc141a4ecde shortlogentry/filelogentry: show shortdate and full description;
wenzelm
parents: 27608
diff changeset
    24
Only in isabelle: map~
27511
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
    25
diff -r gitweb/summary.tmpl isabelle/summary.tmpl
27513
6d082d24aa75 removed owner;
wenzelm
parents: 27511
diff changeset
    26
33d32
6d082d24aa75 removed owner;
wenzelm
parents: 27511
diff changeset
    27
< <tr><td>owner</td><td>#owner|obfuscate#</td></tr>
6d082d24aa75 removed owner;
wenzelm
parents: 27511
diff changeset
    28
49,55d47
27511
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
    29
< <div><a class="title" href="#">branches</a></div>
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
    30
< <table cellspacing="0">
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
    31
< {branches%branchentry}
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
    32
< <tr class="light">
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
    33
<   <td colspan="4"><a class="list"  href="#">...</a></td>
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
    34
< </tr>
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
    35
< </table>