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

Jasmin Blanchette j.c.blanchette at vu.nl
Tue Jul 14 15:29:16 CEST 2020

> 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. :)


More information about the isabelle-dev mailing list