[MLton] GNU configure and autoconf.

Henry Cejtin henry@sourcelight.com
Tue, 11 Jan 2005 07:38:21 -0600

Has any of the URL's moved around?  I know that some pages Google doesn't
crawl more than once every month or even a bit longer.  Could that account
for the uncrawled mail?  Also, although I doubt that this is the problem,
is your robots.txt ok?