[isabelle-dev] [SQLITE_READONLY_DBMOVED] The database file has been moved since it was opened (attempt to write a readonly database)

Tobias Nipkow nipkow at in.tum.de
Fri Sep 9 11:37:38 CEST 2022

Please ignore, it was sent in error.


On 09/09/2022 11:37, Tobias Nipkow wrote:
> I am on 13116:bf6ee51dd702 and get the above messages when building with
> isabelle jedit -f
> standard_output terminated
> Fail "The parent for this saved state does not match or has been changed": HOL
> Return code: 127 (COMMAND NOT FOUND)
> Tobias
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5535 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20220909/074b8075/attachment.bin>

More information about the isabelle-dev mailing list