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

--- ai05s/ai05-0039-1.txt	2007/12/13 04:39:36	1.3
+++ ai05s/ai05-0039-1.txt	2008/05/10 05:14:33	1.4
@@ -1,4 +1,4 @@
-!standard 13.3(4)                                             07-11-27    AI05-0039-1/02
+!standard 13.3(4)                                             08-04-21    AI05-0039-1/03
 !standard 13.3(6)
 !standard 13.13.2(38/2)
 !class binding interpretation 07-02-02
@@ -16,8 +16,10 @@
 
 !question
 
-AARM 13.3(4.c-d) states that dynamic names like Subprogram_Ptr.all denoting a subprogram
-can be used to specify a stream attribute.
+The only compile-time rules restricting the specification of a stream attribute are
+13.3(4), 13.3(6), and 13.13.2(38/2). Indeed, AARM 13.3(4.c-d) states that dynamic
+names like Subprogram_Ptr.all denoting a subprogram can be used to specify a
+stream attribute.
 
 However, these attributes require the subprogram to have a parameter of a type, and
 must be specified before the type is frozen. That greatly restricts what expressions