CVS difference for ai05s/ai05-0069-1.txt

--- ai05s/ai05-0069-1.txt	2009/04/30 06:19:47	1.7
+++ ai05s/ai05-0069-1.txt	2009/05/30 06:20:57	1.8
@@ -1,4 +1,4 @@
-!standard  A.18.17(0)                                   09-03-23    AI05-0069-1/04
+!standard  A.18.17(0)                                   09-05-29    AI05-0069-1/05
 !class Amendment 07-10-24
 !status Amendment 201Z 08-11-26
 !status ARG Approved  9-0-0  06-11-10
@@ -10,11 +10,13 @@
 
 !summary
 
-(See proposal.)
+A package Ada.Containers.Indefinite_Holders is defined in order to create
+the ability to hold a single object of an indefinite type.
 
+
 !problem
 
-It not possible in Ada to declare an object of an indefinite type that can hold
+It is not possible in Ada to declare an object of an indefinite type that can hold
 any value of that type -- the language requires an initialization value and for
 the object to be constrained by that value. Worse, components of indefinite types
 are illegal.
@@ -28,7 +30,7 @@
 is error-prone. Moreover, we've defined containers to eliminate the need for explicit
 memory management of common data structures.
 
-Thus it is appropriate to have have a container to handle this operation.
+Thus it is appropriate to have a container to handle this operation.
 
 !proposal
 
@@ -102,7 +104,7 @@
 
 !wording
 
-The language-defined generic package Containers.Indefinite_Holders provides private type
+The language-defined generic package Containers.Indefinite_Holders provides a private type
 Holder and a set of operations for that type. A holder container holds a single element
 of an indefinite type.
 
@@ -315,10 +317,10 @@
 !example
 
 !corrigendum A.18.17
-!comment This is intended to force a conflict. The fully formated text is in the conflict file.
+!comment This is intended to force a conflict. The fully formatted text is in the conflict file.
 
 @dinsc
-The language-defined generic package Containers.Indefinite_Holders provides private type
+The language-defined generic package Containers.Indefinite_Holders provides a private type
 Holder and a set of operations for that type. A holder container holds a single element
 of an indefinite type.