[isabelle-dev] [Fwd: [isabelle] Monad_Syntax breaks display of abbreviations]

Peter Lammich lammich at in.tum.de
Tue Oct 1 10:32:33 CEST 2013

On Di, 2013-10-01 at 14:12 +0900, Christian Sternagel wrote:
> Thanks Jasmin!
> @Peter: Does this patch work with your developments as expected?

At first glance, everything looks fine! Thank you for fixing this.


p.s. I've commited the patch, it's e13b0c88c798

More information about the isabelle-dev mailing list