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
