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/24cba3b02da74d73aed338c5f0f33458I see a lot of incoming changes (and many hg queue accidents) just before that, but it might be unrelated.
Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev