Admin/Mercurial/isabelle-style-1.3.1.diff
author nipkow
Mon Dec 04 20:24:17 2017 +0100 (19 months ago)
changeset 67124 335ed2834ebc
parent 42431 79ef651d88eb
permissions -rw-r--r--
more lemmas
     1 diff -Naur gitweb/changelogentry.tmpl isabelle/changelogentry.tmpl
     2 --- gitweb/changelogentry.tmpl	2011-04-20 12:13:37.000000000 +0200
     3 +++ isabelle/changelogentry.tmpl	2011-04-20 12:13:37.000000000 +0200
     4 @@ -1,14 +1,12 @@
     5  <div>
     6 -<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>
     7 -</div>
     8 -<div class="title_text">
     9 -<div class="log_link">
    10 -<a href="{url}rev/{node|short}{sessionvars%urlparameter}">changeset</a><br/>
    11 -</div>
    12 -<i>{author|obfuscate} [{date|rfc822date}] rev {rev}</i><br/>
    13 +<a class="title" href="{url}rev/{node|short}{sessionvars%urlparameter}"><span class="age">{date|age}</span>
    14 +{author|obfuscate} [{date|rfc822date}] rev {rev}<span class="logtags"> {inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a>
    15  </div>
    16  <div class="log_body">
    17  {desc|strip|escape|addbreaks|nonempty}
    18  <br/>
    19 +<div class="files">
    20 +{files}
    21 +</div>
    22  <br/>
    23  </div>
    24 diff -Naur gitweb/changeset.tmpl isabelle/changeset.tmpl
    25 --- gitweb/changeset.tmpl	2011-04-20 12:13:37.000000000 +0200
    26 +++ isabelle/changeset.tmpl	2011-04-20 12:13:37.000000000 +0200
    27 @@ -29,7 +29,7 @@
    28  <div class="title_text">
    29  <table cellspacing="0">
    30  <tr><td>author</td><td>{author|obfuscate}</td></tr>
    31 -<tr><td></td><td>{date|date} ({date|age} ago)</td></tr>
    32 +<tr><td></td><td>{date|date} ({date|age})</td></tr>
    33  {branch%changesetbranch}
    34  <tr><td>changeset {rev}</td><td style="font-family:monospace">{node|short}</td></tr>
    35  {parent%changesetparent}
    36 diff -Naur gitweb/fileannotate.tmpl isabelle/fileannotate.tmpl
    37 --- gitweb/fileannotate.tmpl	2011-04-20 12:13:37.000000000 +0200
    38 +++ isabelle/fileannotate.tmpl	2011-04-20 12:13:37.000000000 +0200
    39 @@ -36,7 +36,7 @@
    40   <td>{author|obfuscate}</td></tr>
    41  <tr>
    42   <td></td>
    43 - <td>{date|date} ({date|age} ago)</td></tr>
    44 + <td>{date|date} ({date|age})</td></tr>
    45  {branch%filerevbranch}
    46  <tr>
    47   <td>changeset {rev}</td>
    48 diff -Naur gitweb/filerevision.tmpl isabelle/filerevision.tmpl
    49 --- gitweb/filerevision.tmpl	2011-04-20 12:13:37.000000000 +0200
    50 +++ isabelle/filerevision.tmpl	2011-04-20 12:13:37.000000000 +0200
    51 @@ -36,7 +36,7 @@
    52   <td>{author|obfuscate}</td></tr>
    53  <tr>
    54   <td></td>
    55 - <td>{date|date} ({date|age} ago)</td></tr>
    56 + <td>{date|date} ({date|age})</td></tr>
    57  {branch%filerevbranch}
    58  <tr>
    59   <td>changeset {rev}</td>
    60 diff -Naur gitweb/graph.tmpl isabelle/graph.tmpl
    61 --- gitweb/graph.tmpl	2011-04-20 12:13:37.000000000 +0200
    62 +++ isabelle/graph.tmpl	2011-04-20 12:13:37.000000000 +0200
    63 @@ -63,7 +63,7 @@
    64  var revlink = '<li style="_STYLE"><span class="desc">';
    65  revlink += '<a class="list" href="{url}rev/_NODEID{sessionvars%urlparameter}" title="_NODEID"><b>_DESC</b></a>';
    66  revlink += '</span> _TAGS';
    67 -revlink += '<span class="info">_DATE ago, by _USER</span></li>';
    68 +revlink += '<span class="info">_DATE, by _USER</span></li>';
    69  
    70  graph.vertex = function(x, y, color, parity, cur) {
    71  	
    72 diff -Naur gitweb/map isabelle/map
    73 --- gitweb/map	2011-04-20 12:13:37.000000000 +0200
    74 +++ isabelle/map	2011-04-20 12:13:37.000000000 +0200
    75 @@ -78,7 +78,7 @@
    76    <tr style="font-family:monospace" class="parity{parity}">
    77      <td class="linenr" style="text-align: right;">
    78        <a href="{url}annotate/{node|short}/{file|urlescape}{sessionvars%urlparameter}#l{targetline}"
    79 -         title="{node|short}: {desc|escape|firstline}">{author|user}@{rev}</a>
    80 +         title="{node|short}: {desc|escape}">{author|user}@{rev}</a>
    81      </td>
    82      <td><pre><a class="linenr" href="#{lineid}" id="{lineid}">{linenumber}</a></pre></td>
    83      <td><pre>{line|escape}</pre></td>
    84 @@ -150,7 +150,7 @@
    85  tags = tags.tmpl
    86  tagentry = '
    87    <tr class="parity{parity}">
    88 -    <td class="age"><i>{date|age} ago</i></td>
    89 +    <td class="age"><i>{date|age}</i></td>
    90      <td><a class="list" href="{url}rev/{node|short}{sessionvars%urlparameter}"><b>{tag|escape}</b></a></td>
    91      <td class="link">
    92        <a href="{url}rev/{node|short}{sessionvars%urlparameter}">changeset</a> |
    93 @@ -161,7 +161,7 @@
    94  branches = branches.tmpl
    95  branchentry = '
    96    <tr class="parity{parity}">
    97 -    <td class="age"><i>{date|age} ago</i></td>
    98 +    <td class="age"><i>{date|age}</i></td>
    99      <td><a class="list" href="{url}shortlog/{node|short}{sessionvars%urlparameter}"><b>{node|short}</b></a></td>
   100      <td class="{status}">{branch|escape}</td>
   101      <td class="link">
   102 @@ -204,11 +204,12 @@
   103  inbranchtag = '<span class="inbranchtag" title="{name}">{name}</span> '
   104  shortlogentry = '
   105    <tr class="parity{parity}">
   106 -    <td class="age"><i>{date|age} ago</i></td>
   107 +    <td class="age"><i>{date|age}</i></td>
   108      <td><i>{author|person}</i></td>
   109 +    <td><i>{date|shortdate}</i></td>
   110      <td>
   111        <a class="list" href="{url}rev/{node|short}{sessionvars%urlparameter}">
   112 -        <b>{desc|strip|firstline|escape|nonempty}</b>
   113 +        <b>{desc|strip|escape|nonempty}</b>
   114          <span class="logtags">{inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span>
   115        </a>
   116      </td>
   117 @@ -219,10 +220,12 @@
   118    </tr>'
   119  filelogentry = '
   120    <tr class="parity{parity}">
   121 -    <td class="age"><i>{date|age} ago</i></td>
   122 +    <td class="age"><i>{date|age}</i></td>
   123 +    <td><i>{author|person}</i></td>
   124 +    <td><i>{date|shortdate}</i></td>
   125      <td>
   126        <a class="list" href="{url}rev/{node|short}{sessionvars%urlparameter}">
   127 -        <b>{desc|strip|firstline|escape|nonempty}</b>
   128 +        <b>{desc|strip|escape|nonempty}</b>
   129        </a>
   130      </td>
   131      <td class="link">
   132 @@ -238,7 +241,7 @@
   133      </td>
   134      <td>{description}</td>
   135      <td>{contact|obfuscate}</td>
   136 -    <td class="age">{lastchange|age} ago</td>
   137 +    <td class="age">{lastchange|age}</td>
   138      <td class="indexlinks">{archives%indexarchiveentry}</td>
   139      <td><div class="rss_logo"><a href="{url}rss-log">RSS</a> <a href="{url}atom-log">Atom</a></div></td>
   140    </tr>\n'