[isabelle-dev] Mira broken

Lars Noschinski noschinl at in.tum.de
Tue Aug 21 11:41:38 CEST 2012


On 19.08.2012 07:56, Florian Haftmann wrote:
>> ~/testbench-main/mira/bin/mira daemon 'bisect(Isabelle-makeall)'
>
> This should definitely read
>
>> ~/testbench-main/mira/bin/mira daemon 'bisect(Isabelle_makeall)'
>                                                         ^^^
> as can be seen from isabelle:Admin/miry.py
>
> Where did you copy and paste the bad version from?

Ok, this was my fault. I did not check this example to closely, as I had 
the same issue with AFP_fast. It turned out that AFP_fast was renamed to 
AFP by Alex some time ago.

  -- Lars



More information about the isabelle-dev mailing list