[isabelle-dev] Mira broken

[Lars Noschinski]

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