> As with the old log files, any error to access the persistent data is
> turned into a warning, since there might be old files still around,
> while the logical data format has changed.
> I don't know anything about testboard and can't say what is really going
> on here.
For whatever it's worth, I cleared out all files in 'heaps', which
appears to have resolved the problem.
isabelle-dev mailing list