Dear Florian,
Am 18.08.2013 um 16:24 schrieb Florian Haftmann <[email protected]>: > Hi René, > > does this solve all your reported problems? Yes, everything is fine. (I told Andreas before, but initially did not inform the whole mailing list) Cheers, René _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
