> 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
There was an odd error in a testboard-afp job [1] before:
17:26:32 ### Ignoring bad database:
"$ISABELLE_HOME/heaps/$ML_IDENTIFIER/log/HOL-Library.db"
17:26:32 ### [SQLITE_ERROR] SQL error or missing database (no such
table: isabelle_session_info)
[…]
17:32:12 *** [SQLITE_ERROR] SQL error or
