[isabelle-dev] Testing AFP at TUM

Tobias Nipkow nipkow at in.tum.de
Mon Oct 22 18:11:55 CEST 2012

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.


> Best regards,
> Tjark
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list