CVS difference for ais/ai-00433.txt

--- ais/ai-00433.txt	2005/08/05 04:38:42	1.3
+++ ais/ai-00433.txt	2005/08/21 06:00:41	1.4
@@ -1,4 +1,4 @@
-!standard 1.1.4(9)                                    05-07-09  AI95-00433/03
+!standard 1.1.4(9)                                    05-08-09  AI95-00433/04
 !standard 2.3(8)
 !standard 2.5(5)
 !standard 2.6(9)
@@ -20,6 +20,7 @@
 !standard 4.4(15)
 !standard 6.5.1(1)
 !standard 6.7(1)
+!standard 8.3.1(1)
 !standard 9.1(24)
 !standard 9.11(3)
 !standard 9.11(6)
@@ -500,7 +501,7 @@
 @dinst
 @i<@s8<Examples>>
 
-The use of @fa<overriding_indicator>s allow the detection of errors at
+The use of @fa<overriding_indicator>s allows the detection of errors at
 compile-time that otherwise might not be detected at all. For instance, we
 might declare a security queue derived from the Queue interface of 3.9.4 as:
 
@@ -923,4 +924,28 @@
 
 !appendix
 
+From: Georg Bauhaus
+Sent: Wednesday, August 10, 2005  4:05 PM
+
+!topic mistyped type in example?
+!reference Amendmend D12 3.9.4
+!discussion
+
+Clause 3.9.4 in Amendment-D12.html presents an example of
+a descendant interface, viz. Synchronized_Queue.
+Two new primitive operations are to be added. However,
+the two procedures following Synchronized_Queue only have
+a Queue parameter, not a Synchronized_Queue parameter.
+Is this correct?
+
 ****************************************************************
+
+From: Randy Brukardt
+Sent: Wednesday, August 10, 2005  4:10 PM
+
+That was noticed during the review of the examples at the York ARG meeting.
+(The examples were newly added in April.) There were several dozen changes to
+the new examples (all marked as part of AI-433).
+
+****************************************************************
+