[isabelle-dev] AFP: Failing entries
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