[isabelle-dev] >>> SCHEDULER: disposed 4 dead worker threads
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