CVS difference for ais/ai-00047.txt

Differences between 1.4 and version 1.5
Log of other versions for file ais/ai-00047.txt

--- ais/ai-00047.txt	2000/04/14 01:45:06	1.4
+++ ais/ai-00047.txt	2000/06/20 04:22:42	1.5
@@ -5,7 +5,7 @@
 !status ARG approved (subject to editorial review) 7-0-2  95-11-01
 !status received 95-06-25
 !qualifier Error
-!subject {user-defined} Read and Write attributes
+!subject {User-defined} Read and Write attributes
 
 !summary
 
@@ -19,7 +19,7 @@
 E.2.2(14) says, "... the types of all the noncontrolling formal
 parameters shall have Read and Write attributes."
 
-By 13.13.2(2), this is vacuously true.  Do you mean USER-SPECIFIED
+By 13.13.2(2), this is vacuously true.  Do you mean *user-specified*
 Read and Write attributes, as suggested by the note in E.2.2(18)?
 (That would be a strange requirement for, say, a parameter of type
 Integer, but the obvious alternative interpretation also seems strange.)
@@ -45,15 +45,15 @@
 
     package Pure_Pkg is
        type Lim is limited
-	  record
-	     ...
-	  end record;
+          record
+             ...
+          end record;
        for Lim'Read use ...;
        for Lim'Write use ...;
 
        type T is abstract tagged limited private;
        procedure P(Controlling_Param: access T;
-		   Noncontrolling_Param: Lim) is abstract;
+                   Noncontrolling_Param: Lim) is abstract;
     private
        ...
     end Pure_Pkg;

Questions? Ask the ACAA Technical Agent