[isabelle-dev] AFP: Failing entries

[Gerwin Klein]

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 <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.