Stream: Beginner Questions

Topic: Isabelle AFP components

Julian (Dec 07 2022 at 15:37):

I am getting the following error when running isabelle components -u afp-2022/thys
"Bad component catalog file: "/home/julian/Isabelle/Isabelle2022/Admin/components/main""
Does anyone know what that's about?

Fabian Huch (Dec 09 2022 at 10:46):

It sounds like your user settings file is broken - does Isabelle itself (without AFP) work?

Julian (Dec 09 2022 at 11:24):

So i removed the ~/.isabelle folder and then it works. It seems to be quite consistent that I get this error whenever I run isabelle components -I, after that I always need to rm ~/.isabelle for everything to work again

Fabian Huch (Dec 09 2022 at 12:13):

You shouldn't need to generate any settings file in the release version. You can add the AFP component without, as described in the AFP help page.

Last updated: Apr 20 2024 at 04:19 UTC