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

--- ai12s/ai12-0005-1.txt	2013/05/09 01:26:37	1.5
+++ ai12s/ai12-0005-1.txt	2013/06/11 00:30:15	1.6
@@ -57,7 +57,51 @@
 
 ****************************************************************
 
-Editor's note (April 19, 2013): All of the items above this
+From: Tucker Taft
+Sent: Tuesday, February 26, 2013   5:10 PM
+
+I agree with both of you. [Editor's Note: The majority of this thread can be
+found in AC-00248.]
+
+The wording as given is inadequate, but the intent is
+as Randy stated: you may assume that if you evaluate an assertion expression
+once and it is True, you don't need to evaluate it again if all you are doing in
+the mean time is evaluating assertion expressions.
+
+***************************************************************
+
+From: Steve Baird
+Sent: Tuesday, February 26, 2013   5:21 PM
+
+I'm happy to leave it at that.
+
+Let's either take no further action or, if anyone thinks it is worth the bother,
+add a brief AARM note based on Tuck's words above.
+
+[Editor's note: The AARM note is mentioned in AI12-0005-1.]
+
+***************************************************************
+
+From: John Barnes
+Sent: Friday, June 7, 2013   9:13 AM
+
+The package Ada.Dispatching was Pure in Ada 2005 but has been downgraded to
+Preelaborable because of the addition of Yield. This is unlikely to be a
+problem. (AI-166, D.2.1)
+
+*** Incompatibility not mentioned in AARM
+
+When an inherited subprogram is implemented by a protected function, the first
+parameter has to be an in parameter, but not an access to variable type. Ada
+2005 allowed access to variable parameters in this case; the parameter will
+need to be changed to access to constant by the addition of the constant
+keyword. (AI-291, 9.4)
+
+*** this is a BI, but it doesn't say correction in AARM
+
+***************************************************************
+
+Editor's note (June  7, 2013): All of the items above this
 marker have been included in the working version of the AARM.
 
 ****************************************************************