release

[Henry Cejtin]

The floating point bug was disturbing because it `just gave wrong answers',
and those are easy enough to not notice with doubles.  Having the compiler
die or loop is unfortunate, but you know it is failing.  Producing wrong
answers is clearly much worse.  Oh well.

No, the anonymous CVS thing is the same kind of security stuff as the CGI
thing: making sure that they can read the MLton CVS, but can't read any thing
else and can't write any thing.

I await your comments on the missing comments, but that will be tomorrow I
guess.