This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r138366 - in /trunk/gcc/ada: gnat_rm.texi gnat_...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 31 Jul 2008 08:19:24 -0000
- Subject: r138366 - in /trunk/gcc/ada: gnat_rm.texi gnat_...
Author: charlet
Date: Thu Jul 31 08:19:24 2008
New Revision: 138366
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=138366
Log:
2008-07-31 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Update -gnatN documentation.
* gnat_rm.texi: Add note about pre/postcondition
pragmas not checked in conjunction with front-end inlining.
Modified:
trunk/gcc/ada/gnat_rm.texi
trunk/gcc/ada/gnat_ugn.texi