[isabelle-dev] bad session structure

[Lars Hupel]

> 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