OSDN Git Service

(root) / pf3gnuchains / gcc-fork.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ee888b) | patch
2008-07-31 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 31 Jul 2008 08:19:24 +0000 (08:19 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 31 Jul 2008 08:19:24 +0000 (08:19 +0000)
commita4cad30d0b7c652c31e5ba3be6730abecce3f06f
tree336a355d8e36b25aaccf62395ca1657014d3e65atree | snapshot
parent7ee888bd92955707f1cf733c6a1549c87eefd30ccommit | diff
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138366 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/gnat_rm.texi diff | blob | history
gcc/ada/gnat_ugn.texi diff | blob | history
About OSDN
Find Software
Develop Software
Help