Admin/Mercurial/isabelle-style-1.3.1.diff
changeset 75009 d2f97439f53e
parent 42431 79ef651d88eb