Please ignore, it was sent in error. Tobias
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 [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
