[isabelle-dev] Testing AFP at TUM

[Ondřej Kunčar]

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