[isabelle-dev] Isabelle/jEdit won't start today

[Jasmin Blanchette]

> On 14 Jul 2020, at 15:27, Tobias Nipkow <nipkow at in.tum.de> wrote:
> 
> I had a similar problem once and it had to do with my external monitor. Unpluggig it helped. But your issue seems to be different.

It's the same issue, actually. Once I saw I had the same problem with Isabelle2020, and I recalled all the crash I used to have when teaching Concrete Semantics due to the beamer, I thought about the monitor -- about one minute before you wrote. Thanks anyway. :)

Jasmin