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 <makar...@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-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev