There are very few AFP tests on http://isabelle.in.tum.de/reports/Isabelle in recent weeks/months. Is there anybody who understands how that works, to look what is the situation? Makarius