[isabelle-dev] >>> SCHEDULER: disposed 4 dead worker threads

Tobias Nipkow nipkow at in.tum.de
Wed Dec 11 16:59:56 CET 2013


I just saw the above message for the first time, when building HOL-IMP. Should
this worry me?

Tobias


More information about the isabelle-dev mailing list