[isabelle-dev] SML/NJ

Lawrence Paulson lp15 at cam.ac.uk
Sat Feb 13 15:54:23 CET 2016

I don't see the point of continuing with SML/NJ any longer.

> 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?

More information about the isabelle-dev mailing list