[isabelle-dev] Mira broken
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.
More information about the isabelle-dev