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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
