projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e3d710) | patch
Add section for gnatcheck.
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 15 Feb 2006 09:48:56 +0000 (10:48 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 15 Feb 2006 09:48:56 +0000 (10:48 +0100)
commit51c40324f3965ff95b3b2696ac10142d765aad41
tree5082004e98c42cf4fe312b07ab00445eb0fd1a8etree
parent7e3d710b32d0c05f9d39b01fb9a9d9d84afe5f5ccommit | diff
Add section for gnatcheck.

        Add documentation for restriction No_Dispatching_Calls
        Add documentation for pragma Ada_2005
        Remove mention of obsolete pragma Propagate_Exceptions

From-SVN: r111105
gcc/ada/gnat_rm.texi diff | blob | history