[isabelle-dev] isatest/afptest logs

Lars Hupel hupel at in.tum.de
Tue Oct 20 10:09:08 CEST 2015


Dear developers,

does anyone know where the isatest and afptest logs are stored? I'd like
to do some performance analysis over the last, say, one month. (If you
have them in your mail inbox, you can also forward them to me.)

Cheers
Lars


More information about the isabelle-dev mailing list