Minor edits.
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 13 Sep 2017 07:50:02 +0000 (09:50 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 13 Sep 2017 07:50:02 +0000 (09:50 +0200)
From-SVN: r252058

gcc/ada/doc/gnat_rm/intrinsic_subprograms.rst
gcc/ada/doc/gnat_rm/standard_library_routines.rst

index f5f8463f28271f001659f95676ec325cb19c3a3b..bf9f0b9e6d9817c659a1c99c02fbcd32a9734b75 100644 (file)
@@ -12,7 +12,7 @@ GNAT allows a user application program to write the declaration:
 .. code-block:: ada
 
      pragma Import (Intrinsic, name);
-  
+
 
 providing that the name corresponds to one of the implemented intrinsic
 subprograms in GNAT, and that the parameter profile of the referenced
@@ -49,19 +49,19 @@ You can use an intrinsic operator declaration as in the following example:
      function "+" (X1 : Int1; X2 : Int2) return Int1;
      function "+" (X1 : Int1; X2 : Int2) return Int2;
      pragma Import (Intrinsic, "+");
-  
+
 
 This declaration would permit 'mixed mode' arithmetic on items
 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
@@ -194,7 +204,7 @@ type (signed or modular), as in this example:
      function Shift_Left
        (Value  : T;
         Amount : Natural) return T;
-  
+
 
 The function name must be one of
 Shift_Left, Shift_Right, Shift_Right_Arithmetic, Rotate_Left, or
@@ -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.
-
index e6fceeb798c692c4762d9ebab847f1b83d71353f..95d026dcdb57491fe1a414e7a74879779e353eba 100644 (file)
@@ -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)*