OSDN Git Service

(root) / pf3gnuchains / gcc-fork.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 780ad7c) | patch
Add section for gnatcheck.
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 15 Feb 2006 09:48:56 +0000 (09:48 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 15 Feb 2006 09:48:56 +0000 (09:48 +0000)
commit2c891092fdf2c40969d00fb32f36b410b0a2166d
tree5082004e98c42cf4fe312b07ab00445eb0fd1a8etree | snapshot
parent780ad7cd84f4fde1f7e2a8b93160dd61831ecb52commit | 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

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