<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>