[isabelle-dev] bad session structure

Lars Hupel hupel at in.tum.de
Wed May 9 13:37:37 CEST 2018

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


More information about the isabelle-dev mailing list