Minor edits.

From-SVN: r252058

gcc/ada/doc/gnat_rm/intrinsic_subprograms.rst

@@ -56,12 +56,12 @@ of the differing types ``Int1`` and ``Int2``.
 It is also possible to specify such operators for private types, if the
 full views are appropriate arithmetic types.
 
-.. _Compilation_Date:
+.. _Compilation_ISO_Date:
 
-Compilation_Date
-================
+Compilation_ISO_Date
+====================
 
-.. index:: Compilation_Date
+.. index:: Compilation_ISO_Date
 
 This intrinsic subprogram is used in the implementation of the
 library package ``GNAT.Source_Info``.  The only useful use of the
@@ -70,6 +70,16 @@ application program should simply call the function
 ``GNAT.Source_Info.Compilation_ISO_Date`` to obtain the date of
 the current compilation (in local time format YYYY-MM-DD).
 
+.. _Compilation_Date:
+
+Compilation_Date
+================
+
+.. index:: Compilation_Date
+
+Same as Compilation_ISO_Date, except the string is in the form
+MMM DD YYYY.
+
 .. _Compilation_Time:
 
 Compilation_Time
@@ -222,4 +232,3 @@ intrinsic import in this case is the one in this unit, so an
 application program should simply call the function
 ``GNAT.Source_Info.Source_Location`` to obtain the current
 source file location.
-

gcc/ada/doc/gnat_rm/standard_library_routines.rst

@@ -209,7 +209,8 @@ the unit is not implemented.
 
 
 ``Ada.Execution_Time`` *(D.14)*
-  Not implemented in GNAT.
+  This package provides CPU clock functionalities. It is not implemented on
+  all targets (see package spec for details).
 
 
 ``Ada.Execution_Time.Group_Budgets`` *(D.14.2)*