> 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. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
