Thanks for that. It’s good to have them all back to green. Cheers, Gerwin
On 30 Jun 2014, at 11:20 am, Peter Lammich <lamm...@in.tum.de> wrote: > Finally, (after I have found out how to use afp_build) I could reproduce > and fix the docuemnt preparation errors in the CAVA-entries, and now, > according to afp-status, everything works fine. > > -- Peter > ________________________________ 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
