[isabelle-dev] Testing AFP at TUM

Tjark Weber webertj at in.tum.de
Mon Oct 22 14:16:41 CEST 2012


On Sun, 2012-10-21 at 16:46 +0200, Florian Haftmann wrote:
> Btw. whenever I'm testing the AFP these days without relying on the
> testboard I use the following [...]

In the last few months I've seen several emails with testing advice on
this list (occasionally motivated by commits that apparently hadn't
been tested very thoroughly). Perhaps it would be useful to distill
these into a concise description of current best practice; either as
part of README_REPOSITORY or in the Isabelle Wiki?

Best regards,
Tjark




More information about the isabelle-dev mailing list