[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.

--
  Peter

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






More information about the isabelle-dev mailing list