Admin/Mercurial/isabelle-style.diff
author wenzelm
Fri, 05 Nov 2010 21:48:48 +0100
changeset 40383 caf19101073d
parent 36544 8da6846b87d9
child 40384 5edaca742d7e
permissions -rw-r--r--
reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
40383
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
     1
diff -r gitweb/changelogentry.tmpl isabelle-orig/changelogentry.tmpl
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
     2
2,8c2,3
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
     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>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
     4
< </div>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
     5
< <div class="title_text">
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
     6
< <div class="log_link">
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
     7
< <a href="{url}rev/{node|short}{sessionvars%urlparameter}">changeset</a><br/>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
     8
< </div>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
     9
< <i>{author|obfuscate} [{date|rfc822date}] rev {rev}</i><br/>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    10
---
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    11
> <a class="title" href="{url}rev/{node|short}{sessionvars%urlparameter}"><span class="age">{date|age}</span>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    12
> {author|obfuscate} [{date|rfc822date}] rev {rev}<span class="logtags"> {inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    13
12a8,10
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    14
> <div class="files">
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    15
> {files}
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    16
> </div>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    17
diff -r gitweb/changeset.tmpl isabelle-orig/changeset.tmpl
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    18
32c32
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    19
< <tr><td></td><td>{date|date} ({date|age} ago)</td></tr>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    20
---
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    21
> <tr><td></td><td>{date|date} ({date|age})</td></tr>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    22
diff -r gitweb/fileannotate.tmpl isabelle-orig/fileannotate.tmpl
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    23
39c39
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    24
<  <td>{date|date} ({date|age} ago)</td></tr>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    25
---
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    26
>  <td>{date|date} ({date|age})</td></tr>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    27
diff -r gitweb/filerevision.tmpl isabelle-orig/filerevision.tmpl
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    28
39c39
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    29
<  <td>{date|date} ({date|age} ago)</td></tr>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    30
---
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    31
>  <td>{date|date} ({date|age})</td></tr>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    32
diff -r gitweb/graph.tmpl isabelle-orig/graph.tmpl
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    33
66c66
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    34
< revlink += '<span class="info">_DATE ago, by _USER</span></li>';
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    35
---
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    36
> revlink += '<span class="info">_DATE, by _USER</span></li>';
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    37
diff -r gitweb/map isabelle-orig/map
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    38
81c81
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    39
<          title="{node|short}: {desc|escape|firstline}">{author|user}@{rev}</a>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    40
---
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    41
>          title="{node|short}: {desc|escape}">{author|user}@{rev}</a>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    42
153c153
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    43
<     <td class="age"><i>{date|age} ago</i></td>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    44
---
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    45
>     <td class="age"><i>{date|age}</i></td>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    46
164c164
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    47
<     <td class="age"><i>{date|age} ago</i></td>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    48
---
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    49
>     <td class="age"><i>{date|age}</i></td>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    50
207c207
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    51
<     <td class="age"><i>{date|age} ago</i></td>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    52
---
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    53
>     <td class="age"><i>{date|age}</i></td>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    54
208a209
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    55
>     <td><i>{date|shortdate}</i></td>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    56
211c212
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    57
<         <b>{desc|strip|firstline|escape|nonempty}</b>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    58
---
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    59
>         <b>{desc|strip|escape|nonempty}</b>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    60
222c223
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    61
<     <td class="age"><i>{date|age} ago</i></td>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    62
---
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    63
>     <td class="age"><i>{date|age}</i></td>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    64
227a229
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    65
>     <td><i>{author|person}</i></td>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    66
241c243
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    67
<     <td class="age">{lastchange|age} ago</td>
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    68
---
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    69
>     <td class="age">{lastchange|age}</td>