r192923 - in /trunk/gcc/ada: gnat_rm.texi par-p...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Oct 29 10:48:00 2012
New Revision: 192923

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192923
Log:
2012-10-29  Arnaud Charlet  <charlet@adacore.com>

	* s-win32.ads: Kill potential warning.

2012-10-29  Yannick Moy  <moy@adacore.com>

	* gnat_rm.texi: Describe new pragma Assert_And_Cut.
	* par-prag.adb, sem_prag.adb, snames.ads-tmpl: Add new pragma
	and treat it like pragma Assert.


Modified:
    trunk/gcc/ada/gnat_rm.texi
    trunk/gcc/ada/par-prag.adb
    trunk/gcc/ada/s-win32.ads
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/snames.ads-tmpl