> I could try to upgrade to Catalina as well and see. For the record: This made the problem go away.
Jasmin _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
