[isabelle-dev] isatest/afptest logs
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.)
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
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