[isabelle-dev] Reasons mira crashes
noschinl at in.tum.de
Tue Feb 5 14:55:34 CET 2013
On 29.01.2013 17:46, Lars Noschinski wrote:
> On 28.11.2012 10:11, Lars Noschinski wrote:
>> Hi everyone,
>> mira still crashes from time to time.
> I got a new one today.
> lxbroy10 testboard `mira daemon 'bisect(Isabelle_makeall)'`
> was hanging for more then 10 days in "Mirroring master repositories".
> Seems to be buried deep inside mercurial code.
Happened again today (killed it after 6 hours)
More information about the isabelle-dev