Admin/Mercurial/isabelle-style.diff
author wenzelm
Wed, 19 Jan 2011 21:00:16 +0100
changeset 41614 b7cd80330a16
parent 40384 5edaca742d7e
permissions -rw-r--r--
added librarypath: shared library convenience in bash, keeping LD_LIBRARY_PATH and DYLD_LIBRARY_PATH separate;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
40384
5edaca742d7e eliminated spurious "firstline" filters for improved display of Isabelle history logs: one item per line, without special headline;
wenzelm
parents: 40383
diff changeset
     1
diff -r gitweb/changelogentry.tmpl isabelle/changelogentry.tmpl
40383
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>
40384
5edaca742d7e eliminated spurious "firstline" filters for improved display of Isabelle history logs: one item per line, without special headline;
wenzelm
parents: 40383
diff changeset
    17
diff -r gitweb/changeset.tmpl isabelle/changeset.tmpl
40383
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>
40384
5edaca742d7e eliminated spurious "firstline" filters for improved display of Isabelle history logs: one item per line, without special headline;
wenzelm
parents: 40383
diff changeset
    22
diff -r gitweb/fileannotate.tmpl isabelle/fileannotate.tmpl
40383
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>
40384
5edaca742d7e eliminated spurious "firstline" filters for improved display of Isabelle history logs: one item per line, without special headline;
wenzelm
parents: 40383
diff changeset
    27
diff -r gitweb/filerevision.tmpl isabelle/filerevision.tmpl
40383
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>
40384
5edaca742d7e eliminated spurious "firstline" filters for improved display of Isabelle history logs: one item per line, without special headline;
wenzelm
parents: 40383
diff changeset
    32
diff -r gitweb/graph.tmpl isabelle/graph.tmpl
40383
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>';
40384
5edaca742d7e eliminated spurious "firstline" filters for improved display of Isabelle history logs: one item per line, without special headline;
wenzelm
parents: 40383
diff changeset
    37
diff -r gitweb/map isabelle/map
40383
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>
40384
5edaca742d7e eliminated spurious "firstline" filters for improved display of Isabelle history logs: one item per line, without special headline;
wenzelm
parents: 40383
diff changeset
    60
222c223,225
40383
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
>     <td><i>{author|person}</i></td>
40384
5edaca742d7e eliminated spurious "firstline" filters for improved display of Isabelle history logs: one item per line, without special headline;
wenzelm
parents: 40383
diff changeset
    65
>     <td><i>{date|shortdate}</i></td>
5edaca742d7e eliminated spurious "firstline" filters for improved display of Isabelle history logs: one item per line, without special headline;
wenzelm
parents: 40383
diff changeset
    66
225c228
5edaca742d7e eliminated spurious "firstline" filters for improved display of Isabelle history logs: one item per line, without special headline;
wenzelm
parents: 40383
diff changeset
    67
<         <b>{desc|strip|firstline|escape|nonempty}</b>
5edaca742d7e eliminated spurious "firstline" filters for improved display of Isabelle history logs: one item per line, without special headline;
wenzelm
parents: 40383
diff changeset
    68
---
5edaca742d7e eliminated spurious "firstline" filters for improved display of Isabelle history logs: one item per line, without special headline;
wenzelm
parents: 40383
diff changeset
    69
>         <b>{desc|strip|escape|nonempty}</b>
5edaca742d7e eliminated spurious "firstline" filters for improved display of Isabelle history logs: one item per line, without special headline;
wenzelm
parents: 40383
diff changeset
    70
241c244
40383
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    71
<     <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
    72
---
caf19101073d reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
wenzelm
parents: 36544
diff changeset
    73
>     <td class="age">{lastchange|age}</td>