CVS difference for ais/ai-50217.txt

--- ais/ai-50217.txt	2004/09/04 01:13:49	1.15
+++ ais/ai-50217.txt	2004/09/17 04:44:38	1.16
@@ -1,4 +1,4 @@
-!standard 10.01.01   (12)                           04-08-26  AI95-00217-06/09
+!standard 10.01.01   (12)                           04-09-16  AI95-00217-06/10
 !standard 10.01.01   (26)
 !standard 10.01.02   (04)
 !standard 10.01.02   (06)
@@ -221,7 +221,7 @@
 
 Add after 10.1.4(3):
 
-The mechanisms for adding a unit mentioned in a limited_with_clause within an
+The mechanisms for adding a unit mentioned in a limited_with_clause to an
 environment are implementation defined.
 
 
@@ -645,8 +645,6 @@
 A library @fa<package_declaration> is the completion of the declaration of
 its limited view.
 
-The elaboration of the limited view of a package has no effect.
-
 !corrigendum 10.1.1(26)
 
 @drepl
@@ -672,6 +670,10 @@
 then the given compilation unit depends semantically upon the other compilation
 unit. The semantic dependence relationship is transitive.
 
+@i<@s8<Dynamic Semantics>>
+
+The elaboration of the limited view of a package has no effect.
+
 !corrigendum 10.1.2(4)
 
 @drepl
@@ -732,7 +734,7 @@
 @dby
 The mechanisms for creating an environment and for adding and replacing
 compilation units within an environment are implementation defined. The
-mechanisms for adding a unit mentioned in a @fa<limited_with_clause> within an
+mechanisms for adding a unit mentioned in a @fa<limited_with_clause> to an
 environment are implementation defined.
 
 !corrigendum 10.1.4(6)
@@ -3899,7 +3901,7 @@
 -----------------
 Thoughts on the implementation of "limited with" in AdaMagic
 
-          $Revision: 1.15 $ $Date: 2004/09/04 01:13:49 $
+          $Revision: 1.16 $ $Date: 2004/09/17 04:44:38 $
 
 The "limited with" clause makes a "limited view"
 of a package visible in the compilation unit
@@ -5708,7 +5710,7 @@
 -----------------
 Thoughts on the implementation of "limited with" in AdaMagic
 
-          $Revision: 1.15 $ $Date: 2004/09/04 01:13:49 $
+          $Revision: 1.16 $ $Date: 2004/09/17 04:44:38 $
 
 The "limited with" clause makes a "limited view"
 of a package visible in the compilation unit