summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2013-03-13 15:29:32 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2013-03-13 15:29:32 +0000
commit82899196ea613de3057c1fb3085f28b35aa69067 (patch)
tree0d7f9297062d8e1178cd4fd5bdf4c5a9b80336c7 /doc
parent8801192430b8f4fbf7d683c44f7aea1762986c1a (diff)
downloadmpfr-82899196ea613de3057c1fb3085f28b35aa69067.tar.gz
Updated version to 3.1.2.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@8482 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc')
-rw-r--r--doc/mpfr.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/mpfr.texi b/doc/mpfr.texi
index 80c7c9a6b..e9b74b1ef 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.2-rc1
+@set VERSION 3.1.2
@set UPDATED-MONTH March 2013
@settitle GNU MPFR @value{VERSION}
@synindex tp fn