ftp://ftp.mimuw.edu.pl/mirror/ftp.inria.fr/INRIA/coq/V6.2/doc/  direct

522.12 KB  1997-05-14rectypes.v.ps  2 mirrors
212.84 KB  1997-05-25doc-html.tar.gz  2 mirrors
1.03 MB  1997-05-19all-ps-docs.tar  2 mirrors
360.00 KB  1997-05-19all-dvi-docs.tar  2 mirrors
48.27 KB  1997-05-19Tutorial.ps.gz  2 mirrors
29.04 KB  1997-05-19Tutorial.dvi.gz  2 mirrors
287.35 KB  1997-05-19Reference-Manual-base.ps.gz  2 mirrors
358.63 KB  1997-05-19Reference-Manual-all.ps.gz  2 mirrors
250.49 KB  1997-05-19Reference-Manual-all.dvi.gz  2 mirrors
102.71 KB  1997-05-19Reference-Manual-addendum.ps.gz  2 mirrors
1.43 KB  1997-05-20README  319+ mirrors
150.83 KB  1997-05-19Library.ps.gz  2 mirrors
54.49 KB  1997-05-19Library.dvi.gz  2 mirrors
91.48 KB  1997-05-19Changes.ps.gz  2 mirrors
15.38 KB  1997-05-19Changes.dvi.gz  2 mirrors