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