projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1db50ba) | patch
gnat_rm.texi, [...]: Update documentation.
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 12 Nov 2015 11:03:00 +0000 (12:03 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 12 Nov 2015 11:03:00 +0000 (12:03 +0100)
commit53044824a6981458f9d5a4ca52df4b6e6854706a
treeb0d6994f24a7ea946199e6d897dd27680f08b1b7tree
parent1db50ba605b3ced3677fb72e07839cae38b05f82commit | diff
gnat_rm.texi, [...]: Update documentation.

        * gnat_rm.texi, gnat_ugn.texi,
        doc/gnat_ugn/platform_specific_information.rst,
        doc/gnat_ugn/gnat_and_program_execution.rst,
        doc/gnat_ugn/the_gnat_compilation_model.rst,
        doc/gnat_rm/standard_and_implementation_defined_restrictions.rst,
        doc/gnat_rm/implementation_defined_pragmas.rst: Update documentation.

From-SVN: r230231
gcc/ada/ChangeLog diff | blob | history