I don't see the point of continuing with SML/NJ any longer. Larry > On 13 Feb 2016, at 12:07, Makarius <makarius at sketis.net> wrote: > > Are there remaining uses of SML/NJ, or can it be discontinued now?