Stream: Beginner Questions

Topic: error bad directory

view this post on Zulip Jared green (Aug 20 2024 at 15:41):

when trying to install PSL i get the error message:
C:\Users\ASUS\.isabelle\Isabelle2024\jedit\jars\isabelle_jedit_main.jar:
Cannot start:
*** Bad session root directory: "/cygdrive/c/Users/ASUS/OneDrive/DisneyGames/Desktop/Isabelle2024/C"
*** (missing "ROOT" or "ROOTS")

view this post on Zulip Jared green (Aug 20 2024 at 18:58):

never mind

Last updated: Dec 21 2024 at 16:20 UTC