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

[Lawrence Paulson]

I absolutely agree.

One of the things that killed SML/NJ was their refusal to make stable releases. They released something every month, always slightly different, and users were expected to just pick one and go with it.

Makarius, your efforts are very much appreciated!

Larry

On 16 Dec 2013, at 16:49, Tobias Nipkow <nipkow at in.tum.de> wrote:

> I suspect the mailing list gives a skewed picture because the most vocal people
> on it are the power users who tend to follow the development closely. But having
> a stable release is absolutely essential and your work on it is highly
> appreciated. I hope/assume you are aware of this. (I know that this is not
> exactly what you were talking about.)