[multiple changes]

2013-04-23  Yannick Moy  <moy@adacore.com>

	* exp_ch5.adb: Minor typo.

2013-04-23  Thomas Quinot  <quinot@adacore.com>

	* gnat_ugn.texi: Fix typo.

2013-04-23  Ed Schonberg  <schonberg@adacore.com>

	* einfo.ads: Minor documentation clarification.

2013-04-23  Bob Duff  <duff@adacore.com>

	* types.ads: Fix incorrect comment.

From-SVN: r198189

gcc/ada/ChangeLog

@@ -1,3 +1,19 @@
+2013-04-23  Yannick Moy  <moy@adacore.com>
+
+	* exp_ch5.adb: Minor typo.
+
+2013-04-23  Thomas Quinot  <quinot@adacore.com>
+
+	* gnat_ugn.texi: Fix typo.
+
+2013-04-23  Ed Schonberg  <schonberg@adacore.com>
+
+	* einfo.ads: Minor documentation clarification.
+
+2013-04-23  Bob Duff  <duff@adacore.com>
+
+	* types.ads: Fix incorrect comment.
+
 2013-04-23  Ed Schonberg  <schonberg@adacore.com>
 
 	* sem_aux.adb sem_aux.ads (Effectively_has_Constrained_Partial_View):

gcc/ada/einfo.ads

@@ -1429,11 +1429,12 @@ package Einfo is
 --       type has no discriminants and the full view has discriminants with
 --       defaults. In Ada 2005 heap-allocated objects of such types are not
 --       constrained, and can change their discriminants with full assignment.
---       Sem_Aux.Effectively_Has_Constrained_Partial_View should be always
---       used by callers, rather than reading this attribute directly because,
---       according to RM 3.10.2 (27/2), untagged generic formal private types
---       and subtypes are also considered to have a constrained partial view
---       [when in a generic body].
+
+--       Ada 2012 has an additional rule (3.3. (23/10.3)) concerning objects
+--       declared in a generic package body. Objects whose type is an untagged
+--       generic formal private type are considered to have a constrained
+--       partial view. The predicate Object_Type_Has_Constrained_Partial_View
+--       in sem_aux is used to test for this case.
 
 --    Has_Contiguous_Rep (Flag181)
 --       Defined in enumeration types. True if the type as a representation

gcc/ada/exp_ch5.adb

@@ -1818,7 +1818,7 @@ package body Exp_Ch5 is
          LE  := Node (LE_Elmt);
          Typ := Etype (Prefix (LE));
 
-         --  Declare a constant to capture the value of the previx of each
+         --  Declare a constant to capture the value of the prefix of each
          --  Loop_Entry attribute.
 
          --  Generate:

gcc/ada/gnat_ugn.texi

@@ -4529,7 +4529,7 @@ Additional details on incorrect parameters
 
 @item -gnatjnn
 @cindex @option{-gnatjnn} (@command{gcc})
-In normal operation mode (or if @option{-gnatj0} is used, then error messages
+In normal operation mode (or if @option{-gnatj0} is used), then error messages
 with continuation lines are treated as though the continuation lines were
 separate messages (and so a warning with two continuation lines counts as
 three warnings, and is listed as three separate messages).
@@ -9448,12 +9448,13 @@ object and ALI files in the directory where it found the dummy file.
 @item ^-j^/PROCESSES=^@var{n}
 @cindex @option{^-j^/PROCESSES^} (@command{gnatmake})
 @cindex Parallel make
-Use @var{n} processes to carry out the (re)compilations. On a
-multiprocessor machine compilations will occur in parallel. In the
-event of compilation errors, messages from various compilations might
-get interspersed (but @command{gnatmake} will give you the full ordered
-list of failing compiles at the end). If this is problematic, rerun
-the make process with n set to 1 to get a clean list of messages.
+Use @var{n} processes to carry out the (re)compilations. On a multiprocessor
+machine compilations will occur in parallel. If @var{n} is 0, then the
+maximum number of parallel compilations is the number of core processors
+on the platform. In the event of compilation errors, messages from various
+compilations might get interspersed (but @command{gnatmake} will give you the
+full ordered list of failing compiles at the end). If this is problematic,
+rerun the make process with n set to 1 to get a clean list of messages.
 
 @item ^-k^/CONTINUE_ON_ERROR^
 @cindex @option{^-k^/CONTINUE_ON_ERROR^} (@command{gnatmake})

gcc/ada/types.ads

@@ -577,7 +577,7 @@ package Types is
    --  the source file (we assume that the host system has the concept of a
    --  file time stamp which is modified when a file is modified). These
    --  time stamps are used to ensure consistency of the set of units that
-   --  constitutes a library. Time stamps are 12 character strings with
+   --  constitutes a library. Time stamps are 14-character strings with
    --  with the following format:
 
    --     YYYYMMDDHHMMSS