[isabelle-dev] Testing AFP at TUM

[Tjark Weber]

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