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
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
