diff -Naur gitweb/changelogentry.tmpl isabelle/changelogentry.tmpl --- gitweb/changelogentry.tmpl 2011-04-20 12:27:29.000000000 +0200 +++ isabelle/changelogentry.tmpl 2011-04-20 12:32:48.000000000 +0200 @@ -1,14 +1,12 @@
{linenumber}
{line|escape}