[isabelle-dev] *** [SQLITE_CONSTRAINT] Abort due to constraint violation (UNIQUE constraint failed: isabelle_session_info.session_name)

Tobias Nipkow nipkow at in.tum.de
Thu Nov 14 18:23:22 CET 2019

This is how my build of HOL fails - I am on 8d51418d4ec0.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20191114/17aa6472/attachment.bin>

More information about the isabelle-dev mailing list