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