[isabelle-dev] HOL-Decision_Procs FAILED

[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
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev