[isabelle-dev] Mira broken

Lars Noschinski noschinl at in.tum.de
Sun Aug 19 05:44:52 CEST 2012

On 19.08.2012 05:43, Lars Noschinski wrote:
> Hi,
> it seems someone (or something) broke Mira. When I start
> ~/testbench-main/mira/bin/mira daemon 'bisect(Isabelle-makeall)'
> on lxbroy10, I get (BTW: It would be pretty nice if mira only daemonized
> after a successful start):


PS: Both lxbroy8 and 10 have mercurial-related errors as the first error 
after it started working -- might this be related to the recent 
repository corruption?

   -- Lars

More information about the isabelle-dev mailing list