[isabelle-dev] bad session structure

Lawrence Paulson lp15 at cam.ac.uk
Wed May 9 15:55:35 CEST 2018

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

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

More information about the isabelle-dev mailing list