> On 14 Jul 2020, at 15:27, Tobias Nipkow <[email protected]> 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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
