[isabelle] Slow startup if AFP in ROOTS



Dear Isabelle list,

I find that the time and CPU usage during Isabelle startup increases
greatly if I have the AFP entry in my ROOTS file, factor ~3, is this
normal? This happens both on Isabelle2018 and 2019.

Best,
Josh





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.