SML/NJ 110.35

Henry Cejtin
Tue, 28 Aug 2001 21:21:15 -0500

Was the SML/NJ 110.35 just a vanilla 110.35 or did you put in some Lal patch?
Are you officially declaring that 110.35 is now the version of SML/NJ we will
use?  (I would be happy if it was since then when we find bugs it will be with
current versions of SML/NJ.)