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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
