Thanks Jasmin!
@Peter: Does this patch work with your developments as expected?
cheers
chris
On 09/30/2013 10:18 PM, Jasmin Christian Blanchette wrote:
Am 30.09.2013 um 15:07 schrieb Christian Sternagel <[email protected]>:
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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
