Admin/Mercurial/isabelle-style.diff
Wed, 16 Jul 2008 14:28:47 +0200 wenzelm shortlogentry/filelogentry: show shortdate and full description;
Tue, 15 Jul 2008 15:59:49 +0200 wenzelm tuned changelogentry;
Mon, 14 Jul 2008 23:11:20 +0200 wenzelm tuned filelogentry;
Wed, 09 Jul 2008 22:32:17 +0200 wenzelm removed owner;
Wed, 09 Jul 2008 22:23:34 +0200 wenzelm changes wrt. gitweb style;
less more (0) tip