Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] [SQLITE_READONLY_DBMOVED] The database fil...


view this post on Zulip Email Gateway (Sep 09 2022 at 09:37):

From: Tobias Nipkow <nipkow@in.tum.de>
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
smime.p7s

view this post on Zulip Email Gateway (Sep 09 2022 at 09:37):

From: Tobias Nipkow <nipkow@in.tum.de>
Please ignore, it was sent in error.

Tobias
smime.p7s


Last updated: Mar 04 2024 at 10:08 UTC