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.) Jasmin _______________________________________________ Isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
