Original bug ID: 5517
Reporter: grande
Status: closed (set by @damiendoligez on 2012-03-26T09:39:57Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.12.1
Fixed in version: 4.00.0+dev
Category: documentation
Monitored by: @damiendoligez

Bug description

The link ftp://ftp.inria.fr/INRIA/publication/RT/RT-0141.ps.gz found in the introduction of chapter 22 (The num library) of the manual is broken.

The document can actually be found here (in an archive):
ftp://ftp.inria.fr/INRIA/Projects/cristal/caml/V3.1/doc_arith.tar.Z

or here (with page number mismatch):
http://hal.inria.fr/docs/00/07/00/27/PS/RT-0141.ps
http://hal.inria.fr/docs/00/07/00/27/PDF/RT-0141.pdf

BTW, maybe it could be a real link (vs. just the address).