CVS difference for ais/ai-00394.txt

--- ais/ai-00394.txt	2005/10/31 05:18:39	1.5
+++ ais/ai-00394.txt	2005/11/16 06:51:15	1.6
@@ -1,4 +1,4 @@
-!standard D.07(09)                                    05-09-20  AI95-00394/04
+!standard D.07(09)                                    05-11-15  AI95-00394/05
 !standard D.07(10)
 !standard D.07(15)
 !standard D.13.1(01)
@@ -72,7 +72,7 @@
 
 Add new Section in Annex J:
 
-J.13 Dependence Restrictions Identifiers
+J.13 Dependence Restriction Identifiers
 
 The following restrictions involve dependence on specific language-defined
 units. The more general No_Dependence restriction should be used for this
@@ -80,17 +80,18 @@
 
 Static Semantics
 
-The following restrictions_identifiers exist:
+The following restriction_identifiers exist:
 
 No_Asynchronous_Control
-   There are no semantic dependences on package Asynchronous_Task_Control.
+   Semantic dependence on the predefined package Asynchronous_Task_Control is
+   not allowed.
 
 No_Unchecked_Conversion
-   Semantic dependence on the predefined generic Unchecked_Conversion is
-   not allowed.
+   Semantic dependence on the predefined generic function Unchecked_Conversion
+   is not allowed.
 
 No_Unchecked_Deallocation
-   Semantic dependence on Unchecked_Deallocation is not allowed.
+   Semantic dependence on the predefined generic procedure Unchecked_Deallocation is not allowed.
 
 
 Delete H.4(2).
@@ -316,17 +317,18 @@
 
 @i<@s8<Static Semantics>>
 
-The following @i<restrictions_>@fa<identifiers> exist:
+The following @i<restriction_>@fa<identifiers> exist:
 
 @xhang<@xterm<No_Asynchronous_Control>
-There are no semantic dependences on package Asynchronous_Task_Control.>
+Semantic dependence on the predefined package Asynchronous_Task_Control is not
+allowed.>
 
 @xhang<@xterm<No_Unchecked_Conversion>
-Semantic dependence on the predefined generic Unchecked_Conversion is
+Semantic dependence on the predefined generic function Unchecked_Conversion is
 not allowed.>
 
 @xhang<@xterm<No_Unchecked_Deallocation>
-Semantic dependence on Unchecked_Deallocation is not allowed.>
+Semantic dependence on the predefined generic procedure Unchecked_Deallocation is not allowed.>
 
 !ACATS test