[Ada] Document a few more characteristics of floating-point support
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 18 Jan 2021 18:30:27 +0000 (19:30 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 6 May 2021 07:51:28 +0000 (03:51 -0400)
commitd07cc0d1262366e4b1e6f00ea226b5b9a891b445
treee49ce89cab108bcaa1818ca2f493652d941ecb21
parent1bc178bb6c6f5c959c9fb0d929734c08ad5aa1d5
[Ada] Document a few more characteristics of floating-point support

gcc/ada/

* doc/gnat_rm/implementation_defined_characteristics.rst (3.5.7):
Mention the IEEE standard explicitly.  Use current format names.
Document assumed rounding mode and new features of I/O support.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst
gcc/ada/gnat_rm.texi