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

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

Previous message (by thread): [isabelle-dev] .pyc files (notably from MaSH)
Next message (by thread): [isabelle-dev] >>> SCHEDULER: disposed 4 dead worker threads
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Tobias

Previous message (by thread): [isabelle-dev] .pyc files (notably from MaSH)
Next message (by thread): [isabelle-dev] >>> SCHEDULER: disposed 4 dead worker threads
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list