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.
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
