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