Wed, 19 Sep 2001 08:25:36 -0400 (EDT)
> > I see that there is a new version of SML/NJ (110.36). Supposedly it has some
> > bug fix for ml-lex as well as floating point improvement for X86.
> > Are you (Stephen) still happy with 110.35? I would like to upgrade to something
> > more recent than 110.9.1, but ...
> I am happy with 110.35. I say go ahead and upgrade.
I'd say switching to 110.36 because of the FLINT bug. On the off chance
that that was the problem with the regression failure, I tried getting
110.36, but I had trouble with the ftp site.