CVS difference for ai12s/ai12-0443-1.txt

--- ai12s/ai12-0443-1.txt	2022/04/29 05:48:48	1.1
+++ ai12s/ai12-0443-1.txt	2022/05/07 06:14:18	1.2
@@ -1,6 +1,8 @@
-!standard 1.3(0)                                  22-04-25  AI12-0443-1/01
+!standard 1.3(0)                                  22-05-05  AI12-0443-1/02
 !standard N(0)
 !class presentation 22-04-25
+!status Amendment 1-2012 22-05-05
+!status ARG Approved 14-0-0  22-05-05
 !status work item 22-04-25
 !status received 22-02-28
 !priority Critical
@@ -85,6 +87,8 @@
           finalization
             * Note 1 on entry: Objects are always finalized before being 
               destroyed.
+        * default initial condition. a property
+          that holds for every default-initialized object of a given type
         * derived type. a type defined in terms of a parent type and zero or
           more progenitor types given in a derived type definition
             * Note 1 on entry: A derived type inherits properties such as 
@@ -99,11 +103,9 @@
         * discrete type. a type that is either an integer type or an 
           enumeration type
         * discriminant. a parameter for a composite type, which can control,
-          for example, the bounds of a component of that is an array
+          for example, the bounds of a component that is an array
             * Note 1 on entry: A discriminant for a task type can be used to
               pass data to a task of the type upon its creation.
-        * default initial condition. A default initial condition is a property
-          that holds for every default-initialized object of a given type
         * dispatching subprogram.  a primitive operation of a tagged type
             * Note 1 on entry: Dispatching subprograms provide  run-time 
               polymorphism. A dispatching subprogram can be called with 
@@ -184,11 +186,11 @@
         * protected type. a composite type whose components are accessible 
           only through one of its protected operations, which synchronize 
           concurrent access by multiple tasks
-        * real type.  at type that has values that are approximations of 
+        * real type.  a type that has values that are approximations of 
           the real numbers
             * Note 1 on entry: Floating point and fixed point types are 
               real types.
-        * record extension. a type that extends another type by adding 
+        * record extension. a type that extends another type optionally with 
           additional components
         * record type. a composite type consisting of zero or more named 
           components, possibly of different types
@@ -225,12 +227,12 @@
             * Note 1 on entry: Tagged types may be extended with additional 
               components.
         * task type. a composite type used to represent active entities which 
-          execute concurrently and which can communicate via queued task entries
+          execute concurrently and that can communicate via queued task entries
             * Note 1 on entry: The top-level task of a partition is called the 
               environment task.
         * type. a defining characteristic of each object and expression of the 
           language, with an associated set of values, and a set of primitive
-          operations which implement the fundamental aspects of its semantics
+          operations that implement the fundamental aspects of its semantics
             * Note 1 on entry: Types are grouped into categories. Most 
               language-defined categories of types are also classes of types.
         * type invariant. see Invariant
@@ -273,7 +275,7 @@
             * Note 1 on entry: A construct is said to be part of the core language
               if it is defined in a core language clause or annex.
           [Editor's note: I added this one as it is part of the response to ISO
-           comments #5 & 6, and we already have "specialize need annex" defined
+           comments #5 & 6, and we already have "specializes needs annex" defined
            here. Wordsmithing welcome!]
         * declaration. A declaration is a language construct that associates a
           name with (a view of) an entity. A declaration may appear explicitly
@@ -345,7 +347,7 @@
           single value
         * renaming.  a declaration that does not define a new entity, but 
           instead defines a new view of an existing entity
-        * specialized need annex. an annex in which are defined language 
+        * specialized needs annex. an annex in which are defined language 
           constructs or capabilities that are not necessarily provided by all
           conforming implementations
         * subunit.  the body of a program unit that can be compiled