Email Gateway (Sep 09 2022 at 09:37): 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
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: Apr 19 2024 at 16:20 UTC