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 paulson
Tue, 02 Mar 2010 12:59:16 +0000
changeset 35509 13e83ce8391b
parent 29148 9b725c8c8ecc
child 35545 34fc7f0aca30
permissions -rw-r--r--
merged
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>
29148
9b725c8c8ecc updated web style for Mercurial 1.1.1;
wenzelm
parents: 29146
diff changeset 
    16
 
diff -r gitweb/changeset.tmpl isabelle/changeset.tmpl
9b725c8c8ecc updated web style for Mercurial 1.1.1;
wenzelm
parents: 29146
diff changeset 
    17
 
19c19
9b725c8c8ecc updated web style for Mercurial 1.1.1;
wenzelm
parents: 29146
diff changeset 
    18
 
< <a class="title" href="{url}raw-rev/#node|short#">#desc|strip|escape|firstline# <span class="logtags">{inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a>
9b725c8c8ecc updated web style for Mercurial 1.1.1;
wenzelm
parents: 29146
diff changeset 
    19
 
---
9b725c8c8ecc updated web style for Mercurial 1.1.1;
wenzelm
parents: 29146
diff changeset 
    20
 
> <a class="title" href="{url}raw-rev/#node|short#">#desc|strip|escape# <span class="logtags">{inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a>
27593
602dd4b219c0 tuned filelogentry;
wenzelm
parents: 27513
diff changeset 
    21
 
diff -r gitweb/map isabelle/map
29148
9b725c8c8ecc updated web style for Mercurial 1.1.1;
wenzelm
parents: 29146
diff changeset 
    22
 
29c29
9b725c8c8ecc updated web style for Mercurial 1.1.1;
wenzelm
parents: 29146
diff changeset 
    23
 
< annotateline = '<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></td><td><pre><a class="linenr" href="##lineid#" id="#lineid#">#linenumber#</a></pre></td><td><pre>#line|escape#</pre></td></tr>'
9b725c8c8ecc updated web style for Mercurial 1.1.1;
wenzelm
parents: 29146
diff changeset 
    24
 
---
9b725c8c8ecc updated web style for Mercurial 1.1.1;
wenzelm
parents: 29146
diff changeset 
    25
 
> annotateline = '<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}">#author|user#@#rev#</a></td><td><pre><a class="linenr" href="##lineid#" id="#lineid#">#linenumber#</a></pre></td><td><pre>#line|escape#</pre></td></tr>'
29146
d4c23f16d04e updated web style for Mercurial 1.1;
wenzelm
parents: 27619
diff changeset 
    26
 
59,60c59,60
27619
edc141a4ecde shortlogentry/filelogentry: show shortdate and full description;
wenzelm
parents: 27608
diff changeset 
    27
 
< 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 
    28
 
< 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 
    29
 
---
27619
edc141a4ecde shortlogentry/filelogentry: show shortdate and full description;
wenzelm
parents: 27608
diff changeset 
    30
 
> 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 
    31
 
> 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>'
27511
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    32
 
diff -r gitweb/summary.tmpl isabelle/summary.tmpl
29146
d4c23f16d04e updated web style for Mercurial 1.1;
wenzelm
parents: 27619
diff changeset 
    33
 
34d33
27513
6d082d24aa75 removed owner;
wenzelm
parents: 27511
diff changeset 
    34
 
< <tr><td>owner</td><td>#owner|obfuscate#</td></tr>
isabelle