History log of /seL4-l4v-10.1.1/isabelle/Admin/Mercurial/isabelle-style-1.3.1.diff
Revision Date Author Comments
# 91ba47a1 20-Apr-2011 krauss <none@none>

use unified diff format (diff -Naur), which is much more robust and generally preferred -- previous patch failed to apply even in simple situations
# 8d95ccdd 20-Apr-2011 krauss <none@none>

hg template diff: renamed to reflect the base version (which silently changed in caf19101073d, by accident?)

--HG--
rename : Admin/Mercurial/isabelle-style.diff => Admin/Mercurial/isabelle-style-1.3.1.diff