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

Fri, 09 Sep 2022 02:37:20 -0700 

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

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Reply via email to