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

--- ai05s/ai05-0245-1.txt	2011/04/12 00:05:54	1.5
+++ ai05s/ai05-0245-1.txt	2011/09/29 06:34:03	1.6
@@ -1,4 +1,4 @@
-!standard 0.3(57.11/2)                             11-04-07    AI05-0245-1/04
+!standard 0.3(57.11/2)                             11-09-20    AI05-0245-1/05
 !class Amendment 11-03-10
 !status Amendment 2012 11-03-10
 !status ARG Approved  8-0-0  11-04-07
@@ -47,8 +47,8 @@
 using aspect specifications. See clauses 3.2.4, 13.3.2, and 13.3.3.
 
 * New forms of expressions are introduced. These are if expressions,
-case expressions, quantified expressions and expression functions. As well as
-being useful for programming in general in avoiding the introduction of
+case expressions, quantified expressions, and expression functions. As well as
+being useful for programming in general by avoiding the introduction of
 unnecessary assignments, they are especially valuable in conditions and
 invariants since they avoid the need to introduce auxiliary functions. See
 clauses 4.5.7, 4.5.8, and 6.8. Membership tests are also made more flexible.
@@ -78,7 +78,7 @@
 bounded forms of the existing containers and new containers for indefinite
 objects, multiway trees, and queues. See clause A.18.
 
-* Finally, features are added primarily to ease the use of containers
+* Finally, features are added primarily to ease the use of containers,
 such as the ability to iterate over all elements in a container without
 having to encode the iteration. These can also be used for iteration over
 arrays. See clauses 4.1.5, 4.1.6, and 5.5.1.
@@ -120,8 +120,8 @@
 using aspect specifications. See clauses 3.2.4, 13.3.2, and 13.3.3.>
 
 @xbullet<New forms of expressions are introduced. These are if expressions,
-case expressions, quantified expressions and expression functions. As well as
-being useful for programming in general in avoiding the introduction of
+case expressions, quantified expressions, and expression functions. As well as
+being useful for programming in general by avoiding the introduction of
 unnecessary assignments, they are especially valuable in conditions and
 invariants since they avoid the need to introduce auxiliary functions. See
 clauses 4.5.7, 4.5.8, and 6.8. Membership tests are also made more flexible.
@@ -152,7 +152,7 @@
 objects, multiway trees, and queues. See clause A.18.>
 
 @xbullet<Finally, certain features are added primarily to ease the use of
-containers such as the ability to iterate over all elements in a container
+containers, such as the ability to iterate over all elements in a container
 without having to encode the iteration. These can also be used for
 iteration over arrays. See clauses 4.1.5, 4.1.6, and 5.5.1.>