Is there something wrong in this ROOT file or how can I find out what this "Bad session" error means?
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.
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).
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 ...
Nevermind, that's just because I had old, relative imports in my file.
Last updated: Feb 27 2024 at 08:17 UTC