license

Stephen Weeks MLton@sourcelight.com
Sun, 7 Apr 2002 17:20:07 -0700


> Speaking of license, I would think it would be good if you actually mention
> GPL in the source instead of just in the LICENSE file.

An excellent idea.  I will do so.