Can anybody say where AFP is tested and if there are statistics accumulating? The traditional isatest data is now empty http://isabelle.in.tum.de/devel/stats/afp.html Makarius