Re: [isabelle-dev] Bad session structure: may cause problems with theory imports

Hi Larry, I guess you have to update your local AFP clone also. Hope this helps, Florian Am 25.04.2018 um 18:03 schrieb Lawrence Paulson: > In the past couple of days, upon launching Isabelle jEdit, I get an alert box > with the message above and the attached text. Any ideas? > >

[isabelle-dev] Bad session structure: may cause problems with theory imports

In the past couple of days, upon launching Isabelle jEdit, I get an alert box with the message above and the attached text. Any ideas? Larry ~/isabelle/Repos/src/Pure: hg id 362baebe25a5 tip Cannot load theory "HOL-Library.Code_Char" The error(s) above occurred for theory