Jakob Schulz (Jul 30 2023 at 17:43): Jakob Schulz (Jul 30 2023 at 17:43):Hi :) I am using Isabelle2022 and used to use some AFP session. Now, I updated my afp folder and since get the following error when trying to start Isabelle2022:
C:\Users\User\.isabelle\Isabelle2022\jedit\jars\isabelle_jedit_main.jar:
Cannot start:
*** Undefined session(s): "Akra_Bazzi"
Previously, I used afp-2023-02-05, now I updated to afp-2023-07-11. I tried switching back to the older version, but the error persists. How can I reset my Isabelle session settings?
Thanks in advance!
Jakob Schulz (Aug 02 2023 at 10:44):I figured it out. The setting is called jedit_logicand can be found in ~/.isabelle/Isabelle2022/etc/preferences. Deleting this line solved the issue.
Last updated: Apr 28 2024 at 01:11 UTC