r194790 - in /trunk/gcc/ada: ChangeLog gnat_ugn...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Jan  2 10:14:19 2013
New Revision: 194790

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194790
Log:
2013-01-02  Robert Dewar  <dewar@adacore.com>

	* vms_data.ads: Add entry for Float_Check_Valid (-gnateF).
	* ug_words: Add entry for Float_Check_Overflow.
	* usage.adb: Minor reformatting.
	* gnat_ugn.texi: Add documentation for -gnateF (Check_Float_Overflow).


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gnat_ugn.texi
    trunk/gcc/ada/ug_words
    trunk/gcc/ada/usage.adb
    trunk/gcc/ada/vms_data.ads