| Fri, 05 Nov 2010 21:53:25 +0100 |
wenzelm |
eliminated spurious "firstline" filters for improved display of Isabelle history logs: one item per line, without special headline;
|
file |
diff |
annotate
|
| Fri, 05 Nov 2010 21:48:48 +0100 |
wenzelm |
reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
|
file |
diff |
annotate
|
| Thu, 29 Apr 2010 23:55:43 +0200 |
krauss |
hgweb style: show author in filelog; full description in annotate hover
|
file |
diff |
annotate
|
| Wed, 03 Mar 2010 15:17:19 +0100 |
krauss |
updated patch for hgweb style: now applies to Mercurial 1.4.3 templates
|
file |
diff |
annotate
|
| Sun, 21 Dec 2008 12:41:09 +0100 |
wenzelm |
updated web style for Mercurial 1.1.1;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 23:09:48 +0100 |
wenzelm |
updated web style for Mercurial 1.1;
|
file |
diff |
annotate
|
| Wed, 16 Jul 2008 14:28:47 +0200 |
wenzelm |
shortlogentry/filelogentry: show shortdate and full description;
|
file |
diff |
annotate
|
| Tue, 15 Jul 2008 15:59:49 +0200 |
wenzelm |
tuned changelogentry;
|
file |
diff |
annotate
|
| Mon, 14 Jul 2008 23:11:20 +0200 |
wenzelm |
tuned filelogentry;
|
file |
diff |
annotate
|
| Wed, 09 Jul 2008 22:32:17 +0200 |
wenzelm |
removed owner;
|
file |
diff |
annotate
|
| Wed, 09 Jul 2008 22:23:34 +0200 |
wenzelm |
changes wrt. gitweb style;
|
file |
diff |
annotate
|