Re: [isabelle-dev] Bad session structure

This is because of a name change in the distribution. The AFP has been updated some 10 minutes later but your test run still saw the old version. It should work now. Tobias On 25/06/2018 15:25, Lawrence Paulson wrote: I still get this upon start-up. Any idea why? ebdd5508f386+ tip Larry

Re: [isabelle-dev] bad session structure

It seems that I can fix this by updating afp-devel again. Larry > On 9 May 2018, at 12:37, Lars Hupel wrote: > > Do you have any uncommitted changes? Maybe in the AFP? > > ~/work/isabelle (default)$ isabelle-dev build -bva -D '$AFP' > > works fine for me.

Re: [isabelle-dev] bad session structure

> I'm getting this message again. What gives? Everything is fully updated. > > ~/isabelle/Repos/src/HOL: hg id > 2e5b737810a6 tip Do you have any uncommitted changes? Maybe in the AFP? ~/work/isabelle (default)$ isabelle-dev build -bva -D '$AFP' works fine for me. Cheers Lars

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? > >