History log of /seL4-l4v-master/l4v/isabelle/Admin/Mercurial/isabelle-style-1.4.3--1.8.2.diff
Revision Date Author Comments
# 0c3c6494 20-Apr-2011 krauss <none@none>

added template diff against newer mercurials, where the 'ago' duplication has been fixed