Am 22/10/2012 14:16, schrieb 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?
We'll try and put something together, but this may take a little while. Thanks Tobias > Best regards, > Tjark > > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
