[isabelle-dev] AFP: Failing entries

Peter Lammich lammich at in.tum.de
Mon Jun 30 11:20:24 CEST 2014


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




More information about the isabelle-dev mailing list