Mark Rodenkirch <mgrogue at wi.rr.com> writes: Is there a reason why the on-line manual says GMP 4.1.5 while the current release is only 4.1.4? The manual is from the cvs branch 4_1, fixing many URLs and some minor typos. (Perhaps there will be a 4.1.5 from that branch too.) -- Torbjörn