My OS is windows 10. I am trying to run Isabelle2021 but somethign went wrong. When I opened it the first time it showed IO error and prover inactive. When I just input some words, Isabelle just doesn't show me anything or check the words.
Does somebody knows why? Thanks a lot.
Could you copy the whole error here? As you can see, it has a scrollbar
I guess the problem may be the installation path. I have reinstalled the system and it worked.
Last updated: Dec 07 2023 at 12:30 UTC