Re: [isabelle-dev] Isabelle/Phabricator

On 12/11/2019 21:36, Makarius wrote: > > Isabelle/c073c4e79518 already has some "isabelle phabricator" tools for > that, even with documentation in the "system" manual. > > A few practically important things are still missing: > > * automated ssh setup for hosted repositories > > * some

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

On 14/11/2019 18:23, Tobias Nipkow wrote: > This is how my build of HOL fails - I am on 8d51418d4ec0. This means that the HOL.db file in the heaps directory somehow got into a bad state, e.g. when two build processes attempt to update it without proper coordination. Normally it is sufficient to

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

This is how my build of HOL fails - I am on 8d51418d4ec0. Tobias smime.p7s Description: S/MIME Cryptographic Signature ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev