[isabelle-dev] bad session structure

[Lawrence Paulson]

It seems that I can fix this by updating afp-devel again.
Larry

> On 9 May 2018, at 12:37, Lars Hupel <hupel at in.tum.de> wrote:
> 
> Do you have any uncommitted changes? Maybe in the AFP?
> 
> ~/work/isabelle (default)$ isabelle-dev build -bva -D '$AFP'
> 
> works fine for me.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20180509/ec5c9397/attachment-0002.html>