Admin/Mercurial/isabelle-style-1.3.1.diff
Wed, 20 Apr 2011 14:43:00 +0200 krauss use unified diff format (diff -Naur), which is much more robust and generally preferred -- previous patch failed to apply even in simple situations
Wed, 20 Apr 2011 14:42:56 +0200 krauss hg template diff: renamed to reflect the base version (which silently changed in caf19101073d, by accident?)
less more (0) tip