md5, sha1, sha256, sha512: add gl_SET_CRYPTO_CHECK_DEFAULT

[gnulib.git] / doc / intprops.texi

diff --git a/doc/intprops.texi b/doc/intprops.texi
index 8780886..b7ec0f4 100644 (file)
--- a/doc/intprops.texi
+++ b/doc/intprops.texi
@@ -1,7 +1,7 @@
 @node Integer Properties
 @section Integer Properties
 
-@c Copyright (C) 2011-2012 Free Software Foundation, Inc.
+@c Copyright (C) 2011-2013 Free Software Foundation, Inc.
 
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
@@ -31,14 +31,14 @@ misbehave badly after overflow occurs.
 
 Many techniques have been proposed to attack these problems.  These
 include precondition testing, GCC's @option{-ftrapv} option, GCC's
-no-undefined-overflow branch, the As-if Infinitely Ranged (AIR) model
+no-undefined-overflow branch, the as-if infinitely ranged (AIR) model
 implemented in Clang, saturation semantics where overflow reliably
 yields an extreme value, the RICH static transformer to an
 overflow-checking variant, and special testing methods.  For more
 information about these techniques, see: Dannenberg R, Dormann W,
 Keaton D @emph{et al.},
 @url{http://www.sei.cmu.edu/library/abstracts/reports/10tn008.cfm,
-As-if Infinitely Ranged integer model -- 2nd ed.}, Software Engineering
+As-if infinitely ranged integer model}, 2nd ed., Software Engineering
 Institute Technical Note CMU/SEI-2010-TN-008, April 2010.
 
 Gnulib supports the precondition testing technique, as this is easy to