Re: [isabelle] Plugin error with Isabelle-2016



Hi Eugene, Hans-Joerg,

> Could it be that the failures you are seeing are the result of abnormal
> shutdowns of the immediately preceding sessions?

It may very well be, though I admit I haven't been paying enough
attention to confirm one way or the other!  Hans-Joerg's e-mail seems
to suggest that this is a likely cause, however.

Thanks,
Dominic




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.