[isabelle-dev] Testing AFP at TUM [was: Isabelle cs. 70300f1b6835]

Gerwin Klein kleing at cse.unsw.edu.au
Sun Oct 21 23:09:06 CEST 2012

On 22/10/2012, at 1:46 AM, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:

>> Yes, I know. I already fixed Collections on Friday and I am going to go
>> back to this problem on Monday.
> Btw. whenever I'm testing the AFP these days without relying on the
> testboard I use the following on one of the lxbroy2…4 machines
> ISABELLE_FULL_TEST= isabelle afp_build -A -- -o browser_info -o
> document=pdf -o document_graph -j 2

You shouldn't need most of these options: afp_build already provides all but -j 2


More information about the isabelle-dev mailing list