[isabelle-dev] Testing AFP at TUM

Ondřej Kunčar kuncar at in.tum.de
Mon Nov 5 15:57:39 CET 2012

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:



More information about the isabelle-dev mailing list