2012-12-05  Arnaud Charlet  <charlet@adacore.com>

	* gnat_ugn.texi: Fix typo.

2012-12-05  Tristan Gingold  <gingold@adacore.com>

	* gnatbind.adb: Minor comment update.

2012-12-05  Yannick Moy  <moy@adacore.com>

	* gnat1drv.adb (Adjust_Global_Switches): Set flags to indicate that
	CodePeer backend deals with divide and overflow checks.

From-SVN: r194194