[isabelle-dev] mkdir failures

Jasmin Blanchette 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 mailing list