MinghuanDai (Apr 21 2022 at 12:20): 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: Feb 01 2025 at 20:19 UTC