Admin/Mercurial/isabelle-style-1.4.3--1.8.2.diff
2011-04-20 krauss 2011-04-20 added template diff against newer mercurials, where the 'ago' duplication has been fixed