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 d99a4e9ed..9c0a95669 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 4.0.2 +@set VERSION 4.0.3-dev @set UPDATED-MONTH January 2019 @settitle GNU MPFR @value{VERSION} @synindex tp fn @@ -479,7 +479,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 4.0.2 web page @url{https://www.mpfr.org/mpfr-4.0.2/}. +MPFR 4.0.3 web page @url{https://www.mpfr.org/mpfr-4.0.3/}. @section Getting the Latest Version of MPFR @@ -494,7 +494,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 4.0.2 web page @url{https://www.mpfr.org/mpfr-4.0.2/} and the +on the MPFR 4.0.3 web page @url{https://www.mpfr.org/mpfr-4.0.3/} and the FAQ @url{https://www.mpfr.org/faq.html}: perhaps this bug is already known, in which case you may find there a workaround for it. |