This is a quick note on a situation that I don't oversee right now: HOL-IMP is more than 10 times slower than usual according to http://isabelle.in.tum.de/reports/Isabelle/report/24cba3b02da74d73aed338c5f0f33458 I see a lot of incoming changes (and many hg queue accidents) just before that, but it might be unrelated. Makarius