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 <[email protected]> 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.) _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
