[isabelle-dev] isabelle jedit quickly aborts

Jasmin Blanchette j.c.blanchette at vu.nl
Fri Jan 17 21:25:34 CET 2020

Previous message (by thread): [isabelle-dev] isabelle jedit quickly aborts
Next message (by thread): [isabelle-dev] https://discourse.org as replacement for mailman, stackoverflow, zulip
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> I could try to upgrade to Catalina as well and see.

For the record: This made the problem go away.

Jasmin

Previous message (by thread): [isabelle-dev] isabelle jedit quickly aborts
Next message (by thread): [isabelle-dev] https://discourse.org as replacement for mailman, stackoverflow, zulip
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list