[isabelle-dev] HOL-Decision_Procs FAILED

Makarius makarius at sketis.net
Tue Mar 18 19:47:39 CET 2014


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 mailing list