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 wenzelm
Wed, 09 Jul 2008 22:23:34 +0200
changeset 27511 5247c16cc9ca
child 27513 6d082d24aa75
permissions -rw-r--r--
changes wrt. gitweb style;
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
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
     2
 
12a13,15
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
     3
 
> <div class="files">
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
     4
 
> #files#
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
     5
 
> </div>
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
     6
 
diff -r gitweb/summary.tmpl isabelle/summary.tmpl
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
     7
 
49,55d48
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
     8
 
< <div><a class="title" href="#">branches</a></div>
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
     9
 
< <table cellspacing="0">
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    10
 
< {branches%branchentry}
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    11
 
< <tr class="light">
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    12
 
<   <td colspan="4"><a class="list"  href="#">...</a></td>
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    13
 
< </tr>
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    14
 
< </table>
isabelle