CVS difference for ais/ai-00394.txt

--- ais/ai-00394.txt	2005/09/22 04:26:40	1.4
+++ ais/ai-00394.txt	2005/10/31 05:18:39	1.5
@@ -105,16 +105,14 @@
 
 An implementation of this Annex shall support:
 o  the restrictions defined in this subclause; and
-o  the following uses of restriction identifier No_Dependence defined in
-13.12.1:    No_Dependence => Ada.Unchecked_Deallocation and
+o  the following uses of restriction_parameter_identifier No_Dependence defined in
+   13.12.1: No_Dependence => Ada.Unchecked_Deallocation and
    No_Dependence => Ada.Unchecked_Conversion; and
 o  the following restrictions defined in D.7: No_Task_Hierarchy,
-No_Abort_Statement,
-   No_Implicit_Heap_Allocation; and
-o  the following uses of restriction identifiers defined in D.7, which are
-checked    prior to program execution: Max_Task_Entries => 0,
-Max_Asynchronous_Select_Nesting => 0,
-   and Max_Tasks => 0; and
+   No_Abort_Statement, No_Implicit_Heap_Allocation; and
+o  the following uses of restriction_parameter_identifiers defined in D.7,
+   which are checked prior to program execution: Max_Task_Entries => 0,
+   Max_Asynchronous_Select_Nesting => 0, and Max_Tasks => 0; and
 o  the pragma Profile(Ravenscar).
 
 Add the following new static restriction_identifier after D.7(10):
@@ -272,7 +270,7 @@
 @drepl
 The following additional restrictions apply in this Annex.
 @dby
-The following @i<restriction>_@fa<identifiers> are language defined:
+The following @i<restriction_>@fa<identifier>s are language defined:
 
 !corrigendum H.4(9)
 
@@ -297,14 +295,15 @@
 @dinst
 An implementation of this Annex shall support:
 @xbullet<the restrictions defined in this subclause; and>
-@xbullet<the following uses of restriction identifier No_Dependence defined in
-13.12.1: No_Dependence => Ada.Unchecked_Deallocation and No_Dependence =>
+@xbullet<the following uses of @i<restriction_parameter_>@fa<identifier> No_Dependence defined in
+13.12.1: No_Dependence =@> Ada.Unchecked_Deallocation and No_Dependence =@>
 Ada.Unchecked_Conversion; and>
 @xbullet<the following restrictions defined in D.7: No_Task_Hierarchy,
 No_Abort_Statement, No_Implicit_Heap_Allocation; and>
-@xbullet<the following uses of restriction identifiers defined in D.7, which are
-checked prior to program execution: Max_Task_Entries => 0,
-Max_Asynchronous_Select_Nesting => 0, and Max_Tasks => 0; and>
+@xbullet<the following uses of @i<restriction_parameter_>@fa<identifier>s
+defined in D.7, which are
+checked prior to program execution: Max_Task_Entries =@> 0,
+Max_Asynchronous_Select_Nesting =@> 0, and Max_Tasks =@> 0; and>
 @xbullet<the @b<pragma> Profile(Ravenscar).>
 
 !corrigendum J.13(1)
@@ -324,7 +323,7 @@
 
 @xhang<@xterm<No_Unchecked_Conversion>
 Semantic dependence on the predefined generic Unchecked_Conversion is
-ot allowed.>
+not allowed.>
 
 @xhang<@xterm<No_Unchecked_Deallocation>
 Semantic dependence on Unchecked_Deallocation is not allowed.>