html40.pdf.gz

Hi,

I'm unable to uncompress 'html40.pdf.gz' with gzip.
Is there an alternate location where I can download this file?

Thanks,

Mats

Received on Tuesday, 24 October 2000 18:07:06 UTC