[isabelle-dev] mkdir failures
jasmin.blanchette at gmail.com
Fri Oct 1 17:39:34 CEST 2010
Am 01.10.2010 um 17:03 schrieb Makarius:
> On Fri, 1 Oct 2010, Jasmin Blanchette wrote:
>> Has anybody run into similar issues before?
> Yes, it merely means there is an inconsistency between the sources (notably lib/scripts/process) and the compiled image. You merely need to make sure everything is compiled afresh.
Thanks, that did the trick! (Indeed, "lib/scripts/process" was not up to date.)
More information about the isabelle-dev