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

Makarius makarius at sketis.net
Fri Dec 13 14:44:28 CET 2013

On Wed, 11 Dec 2013, Tobias Nipkow wrote:

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

Incidently I had seen the same on the same day, and asked myself the same 
question.  It did not come back later, though.

These sporadic incidents might be a problem in the session shutdown phase, 
i.e. a misunderstanding of Isabelle/ML vs. Poly/ML.  If it happens more 
frequently, I will have to look again.


More information about the isabelle-dev mailing list