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 haftmann
Fri, 11 Jul 2008 09:02:30 +0200
changeset 27547 13199740ced6
parent 27513 6d082d24aa75
child 27593 602dd4b219c0
permissions -rw-r--r--
explicit completions of arities
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
27513
6d082d24aa75 removed owner;
wenzelm
parents: 27511
diff changeset 
     7
 
33d32
6d082d24aa75 removed owner;
wenzelm
parents: 27511
diff changeset 
     8
 
< <tr><td>owner</td><td>#owner|obfuscate#</td></tr>
6d082d24aa75 removed owner;
wenzelm
parents: 27511
diff changeset 
     9
 
49,55d47
27511
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    10
 
< <div><a class="title" href="#">branches</a></div>
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    11
 
< <table cellspacing="0">
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    12
 
< {branches%branchentry}
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    13
 
< <tr class="light">
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    14
 
<   <td colspan="4"><a class="list"  href="#">...</a></td>
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    15
 
< </tr>
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset 
    16
 
< </table>
isabelle