On Tue, 20 Oct 2015, Gerwin Klein wrote: > Under the account isatest in ~/afp/log and ~/log. This cumulative information over more than a decade actually quite interesting. It is the lasting result of continous burning of CPU cycles for Isabelle tests. Makarius