[isabelle-dev] HOL-Decision_Procs FAILED
hoelzl at in.tum.de
Wed Mar 19 13:43:37 CET 2014
Sorry for the inconvenience introduced by my changeset.
And thanks Brian for fixing it so fast!
Am Dienstag, den 18.03.2014, 12:10 -0700 schrieb Brian Huffman:
> Revision c7dfd924a165 should now take care of it.
> - Brian
> On Tue, Mar 18, 2014 at 11:47 AM, Makarius <makarius at sketis.net> wrote:
> > On Tue, 18 Mar 2014, Florian Haftmann wrote:
> >> hg id 9ffbb4004c81
> > I've noticed this as well, when preparing a push. The broken state means I
> > have to roll back and wait until tomorrow.
> > Everything comes to a grinding halt, just because a routine "build -a" (with
> > usual -j options) of maybe 20min was forgotten.
> > Makarius
More information about the isabelle-dev