Bug in web page

Stephen Weeks MLton@sourcelight.com
Sat, 9 Mar 2002 11:48:02 -0800


> How did that happen?  It's fixed now.  Thanks for telling us.

No idea.  I checked in a fix to doc/web/index.html.