[isabelle-dev] isatest/afptest logs

Gerwin Klein Gerwin.Klein at nicta.com.au
Tue Oct 20 10:16:26 CEST 2015

Under the account isatest in ~/afp/log and ~/log.


> On 20.10.2015, at 19:09, Lars Hupel <hupel at in.tum.de> wrote:
> 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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

More information about the isabelle-dev mailing list