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 f8d7784a3..9d5d11cb8 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.4 +@set VERSION 3.1.5-dev @set UPDATED-MONTH March 2016 @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.4 web page @url{http://www.mpfr.org/mpfr-3.1.4/}. +MPFR 3.1.5 web page @url{http://www.mpfr.org/mpfr-3.1.5/}. @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.4 web page @url{http://www.mpfr.org/mpfr-3.1.4/} and the +on the MPFR 3.1.5 web page @url{http://www.mpfr.org/mpfr-3.1.5/} 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. |