Admin/Mercurial/isabelle-style-1.3.1.diff
2011-04-20 krauss 2011-04-20 use unified diff format (diff -Naur), which is much more robust and generally preferred -- previous patch failed to apply even in simple situations
2011-04-20 krauss 2011-04-20 hg template diff: renamed to reflect the base version (which silently changed in caf19101073d, by accident?)