CVS difference for ais/ai-00064.txt

--- ais/ai-00064.txt	2000/07/13 04:31:26	1.10
+++ ais/ai-00064.txt	2000/07/15 02:29:55	1.11
@@ -40,7 +40,7 @@
 
     Y : Integer := F;  -- We need some sort of elaboration check
 
-  ....
+    ....
 
     Z : Pointer_To_Func := X;
 
@@ -86,7 +86,7 @@
 
 It seems that the right model for renaming-as-body that occurs after the
 subprogram is frozen should be that of a wrapper subprogram, with its own
-elaboration "bit."
+elaboration flag.
 
 Taken together, these rules imply that when calling a subprogram whose
 body is a renaming-as-body, a check will be made that the renaming-as-body
@@ -95,10 +95,10 @@
 completed by *another* renaming-as-body, the body of that third subprogram
 will also be checked; the rule is transitive.
 
-See 8652/0027 (AI95-00135) for a discussion of circularities involving
+See 8652/0027 (AI-00135) for a discussion of circularities involving
 renamings-as-body.
 
-This issue also adds the missing definition of lower-case "body". This change
+This issue also adds the missing definition of semantic term "body". This change
 makes a renaming-as-body a body. However, doing so triggers the freezing
 rule 13.14(3): "A noninstance body other than a renaming-as-body causes
 freezing of each entity declared before it within the same declarative_part."