[isabelle-dev] Mira still alive?

Lars Noschinski noschinl at in.tum.de
Wed Apr 8 14:00:45 CEST 2015

On 02.04.2015 00:31, Makarius wrote:

> On http://isabelle.in.tum.de/reports/Isabelle there is very little to
> see. This is occasionally important to investigate timing problems, or
> to see how Isabelle vs. AFP works out.

The testbench suites were running, but none of the other tests. One
instance was even hanging since a last september.

As I usually don't need these services, I only notice hiccups when
somebody tells me about it. Unfortunately, mira is not very reliable.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20150408/797eba04/attachment-0002.html>

More information about the isabelle-dev mailing list