diff options
Diffstat (limited to 'doc/mpfr.texi')
| -rw-r--r-- | doc/mpfr.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/mpfr.texi b/doc/mpfr.texi index bbeed4dc0..c2b87a118 100644 --- a/doc/mpfr.texi +++ b/doc/mpfr.texi @@ -2,7 +2,7 @@ @c %**start of header @setfilename mpfr.info @documentencoding UTF-8 -@set VERSION 3.1.7-dev +@set VERSION 3.1.6 @set UPDATED-MONTH September 2017 @settitle GNU MPFR @value{VERSION} @synindex tp fn @@ -480,7 +480,7 @@ specific to MPFR)@. Problems are also mentioned in the FAQ Please report problems to the MPFR mailing-list @samp{mpfr@@inria.fr}. @xref{Reporting Bugs}. Some bug fixes are available on the -MPFR 3.1.7 web page @url{http://www.mpfr.org/mpfr-3.1.7/}. +MPFR 3.1.6 web page @url{http://www.mpfr.org/mpfr-3.1.6/}. @section Getting the Latest Version of MPFR @@ -495,7 +495,7 @@ The latest version of MPFR is available from @comment Warning! Do not split "MPFR ... @url{...}" across several lines @comment as this needs to be updated with update-version. If you think you have found a bug in the MPFR library, first have a look -on the MPFR 3.1.7 web page @url{http://www.mpfr.org/mpfr-3.1.7/} and the +on the MPFR 3.1.6 web page @url{http://www.mpfr.org/mpfr-3.1.6/} and the FAQ @url{http://www.mpfr.org/faq.html}: perhaps this bug is already known, in which case you may find there a workaround for it. |