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

Christian Sternagel c.sternagel at gmail.com
Tue Oct 1 07:12:36 CEST 2013

Thanks Jasmin!

@Peter: Does this patch work with your developments as expected?



On 09/30/2013 10:18 PM, Jasmin Christian Blanchette wrote:
> Am 30.09.2013 um 15:07 schrieb Christian Sternagel <c.sternagel at gmail.com>:
>> It seems that the required changes are minimal. See the attached patch. To be on the safe side: could somebody push this to the test server (in my local tests I just loaded all theories from the Isabelle repo and the AFP that contained the keyword "adhoc_overloading" in Isabelle/jEdit instead of building all heap images).
> Done.
> Jasmin

More information about the isabelle-dev mailing list