Under the account isatest in ~/afp/log and ~/log. Cheers, Gerwin
> On 20.10.2015, at 19:09, Lars Hupel <hu...@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-...@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. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
