[isabelle-dev] Isabelle/jEdit won't start today
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