Stream: Beginner Questions

Topic: Isabelle/Jedit can not startup on win10

view this post on Zulip MinghuanDai (Apr 21 2022 at 12:20):

The first time I unzip the Isabellle2021 it can startup IDE automaticly, but after a while, when i close IDE, then it can not open the IDE, i am confused, anyone know how deal with it? ps: I have try to unzip Isabelle in another new directory, but has same problems, hope someone know it.

Last updated: Dec 21 2024 at 16:20 UTC