[isabelle-dev] HOL-IMP very slow

[Makarius]

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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev