[isabelle-dev] AFP: Failing entries

Gerwin Klein Gerwin.Klein at nicta.com.au
Mon Jun 30 11:30:46 CEST 2014

Thanks for that. It’s good to have them all back to green.


On 30 Jun 2014, at 11:20 am, Peter Lammich <lammich at 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.

More information about the isabelle-dev mailing list