[isabelle-dev] HOL-Decision_Procs FAILED
huffman.brian.c at gmail.com
Tue Mar 18 20:10:09 CET 2014
Revision c7dfd924a165 should now take care of it.
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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev