On 10/22/2012 06:11 PM, Tobias Nipkow wrote:
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
I've tried putting something together. See this link:
https://isabelle.in.tum.de/community/Building_AFP
Ondrej
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
