On 22/10/2012, at 1:46 AM, Florian Haftmann <[email protected]> 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 Cheers, Gerwin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
