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

--- ai05s/ai05-0245-1.txt	2011/09/29 06:34:03	1.6
+++ ai05s/ai05-0245-1.txt	2012/01/03 23:35:19	1.7
@@ -1,4 +1,4 @@
-!standard 0.3(57.11/2)                             11-09-20    AI05-0245-1/05
+!standard 0.2(57.11/2)                             12-01-03    AI05-0245-1/06
 !class Amendment 11-03-10
 !status Amendment 2012 11-03-10
 !status ARG Approved  8-0-0  11-04-07
@@ -25,12 +25,11 @@
 
 Add after Introduction (57.11/2):
 
-Amendment 2 modifies the 1995 International Standard by making changes
-and additions that improve the capability of the language and the reliability
-of programs written in the language. In particular, enhancements are made to
-address two important issues, namely, the particular problems of
-multiprocessor architectures, and the need to further increase the
-capabilities regarding assertions for correctness.
+In addition, this third edition makes enhancements to address two important issues,
+namely, the particular problems of multiprocessor architectures, and the need to
+further increase the capabilities regarding assertions for correctness. It also
+makes additional changes and additions that improve the capability of the language
+and the reliability of programs written in the language. 
 
 The following significant changes with respect to the 1995 edition as amended by
 Amendment 1 are incorporated:
@@ -44,7 +43,7 @@
 and invariants for private types. The concept of constraints in defining
 subtypes is supplemented with subtype predicates that enable subsets to be
 specified other than as simple ranges. These properties are all indicated
-using aspect specifications. See clauses 3.2.4, 13.3.2, and 13.3.3.
+using aspect specifications. See clauses 3.2.4, 6.1.1, and 7.3.2.
 
 * New forms of expressions are introduced. These are if expressions,
 case expressions, quantified expressions, and expression functions. As well as
@@ -81,7 +80,7 @@
 * 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.
+arrays. See clauses 4.1.5, 4.1.6, 5.5.1, and 5.5.2.
 
 !discussion
 
@@ -90,7 +89,7 @@
 features, and everything else is still true since we have been careful to
 keep compatibility.
 
-!corrigendum 0.3(57.11/2)
+!corrigendum 0.2(57.11/2)
 
 @dinsa
 @xbullet<The overall reliability of the language has been enhanced by a number
@@ -98,12 +97,11 @@
 as well as pragmas for making assertions and giving better control over the
 suppression of checks. See clauses 6.1, 11.4.2, and 11.5.>
 @dinss
-Amendment 2 modifies the 1995 International Standard by making changes
-and additions that improve the capability of the language and the reliability
-of programs written in the language. In particular, enhancements are made to
-address two important issues, namely, the particular problems of
-multiprocessor architectures, and the need to further increase the
-capabilities regarding assertions for correctness.
+In addition, this third edition makes enhancements to address two important issues,
+namely, the particular problems of multiprocessor architectures, and the need to
+further increase the capabilities regarding assertions for correctness. It also
+makes additional changes and additions that improve the capability of the language
+and the reliability of programs written in the language. 
 
 The following significant changes with respect to the 1995 edition as amended by
 Amendment 1 are incorporated:
@@ -117,7 +115,7 @@
 and invariants for private types. The concept of constraints in defining
 subtypes is supplemented with subtype predicates that enable subsets to be
 specified other than as simple ranges. These properties are all indicated
-using aspect specifications. See clauses 3.2.4, 13.3.2, and 13.3.3.>
+using aspect specifications. See clauses 3.2.4, 6.1.1, and 7.3.2.>
 
 @xbullet<New forms of expressions are introduced. These are if expressions,
 case expressions, quantified expressions, and expression functions. As well as
@@ -154,7 +152,7 @@
 @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
 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.>
+iteration over arrays. See clauses 4.1.5, 4.1.6, 5.5.1, and 5.5.2.>
 
 
 !ACATS test