> Was the SML/NJ 110.35 just a vanilla 110.35 or did you put in some Lal patch? vanilla > 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.) I thought I'd play around with it for a couple of days before making it official. But no problems so far.