<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-text-plain" wrap="true" graphical-quote="true"
      style="font-family: -moz-fixed; font-size: 12px;" lang="x-western">
      <pre wrap="">On 02.04.2015 00:31, Makarius wrote:
</pre>
      <blockquote type="cite" style="color: #000000;">
        <pre wrap="">On <a class="moz-txt-link-freetext" href="http://isabelle.in.tum.de/reports/Isabelle">http://isabelle.in.tum.de/reports/Isabelle</a> there is very little to
see. This is occasionally important to investigate timing problems, or
to see how Isabelle vs. AFP works out.
</pre>
      </blockquote>
      <pre wrap="">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.
</pre>
    </div>
  </body>
</html>