[isabelle-dev] HOL-Decision_Procs FAILED

[Johannes Hölzl]

Sorry for the inconvenience introduced by my changeset.
And thanks Brian for fixing it so fast!

 - Johannes

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