Kevin Kappelmann (Jul 13 2020 at 07:26): Kevin Kappelmann (Jul 13 2020 at 07:26):Is there something wrong in this ROOT file or how can I find out what this "Bad session" error means?
image.png
Josh Chen (Jul 13 2020 at 08:10):File looks fine to me, has the Soft_Types session been made known to jEdit (is it in the ROOTS file)? If you can build this from console it means it's fine.
Manuel Eberl (Jul 13 2020 at 08:25):Isabelle/jEdit only knows sessions in its search path (cf. the option -d or local ROOTS files as in ~~/src/HOL or the global ROOTS file).
Kevin Kappelmann (Jul 13 2020 at 08:40):Ah, so if I add jedit -d . ("." because I am in the directory of the ROOT file) when starting jedit, it works. Thank you :)
What's the right way to build it now? When i do isabelle build -D ., I get the following ...
Kevin Kappelmann (Jul 13 2020 at 08:43):Nevermind, that's just because I had old, relative imports in my file.
Last updated: Dec 21 2024 at 16:20 UTC