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

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0099-1.txt

--- ai12s/ai12-0099-1.txt	2014/07/24 01:25:38	1.2
+++ ai12s/ai12-0099-1.txt	2014/09/30 03:15:14	1.3
@@ -1,4 +1,4 @@
-!standard 3.2.4(4/4)                                  14-07-23  AI05-0099-1/02
+!standard 3.2.4(4/4)                                  14-09-29  AI05-0099-1/03
 !standard 3.2.4(12/3)
 !standard 3.2.4(20/3)
 !class binding interpretation 14-05-12
@@ -12,9 +12,9 @@
 !subject Wording problems with predicates
 !summary
 
-(1) 3.2.4(12/3) applies to a type declared by any type of declaration, not just
-a derived type declaration. In particular, it applies to task types and protected
-types.
+(1) 3.2.4(12/3) applies to a type declared by any type of declaration, not
+just a derived type declaration. In particular, it applies to task types and
+protected types.
 
 (2) "not" is an allowed operator in a predicate-static expression.
 
@@ -46,7 +46,7 @@
 
 (2) There does not seem to be a definition of the term "logical operator"
 (no underscore) as used in RM 3.2.4(20/3). In particular, it does not
-appear to include the "not" operator. (A English term that is not otherwise
+appear to include the "not" operator. (An English term that is not otherwise
 defined is usually taken to mean the same as the associated syntax term, and
 "logical_operator" does not include "not". The index entry for logical
 operator has "See also not operator" but that seems hardly a normative

Questions? Ask the ACAA Technical Agent