CVS difference for ais/ai-00127.txt

--- ais/ai-00127.txt	2000/01/20 01:36:00	1.10
+++ ais/ai-00127.txt	2000/07/15 02:29:57	1.11
@@ -1,4 +1,4 @@
-!standard 03.09.02 (07)                               00-01-19  AI95-00127/08
+!standard 03.09.02 (07)                               00-07-13  AI95-00127/09
 !standard 03.09.02 (09)
 !standard 03.10.02 (24)
 !standard 03.10.02 (27)
@@ -24,13 +24,14 @@
 of the corresponding class-wide type.  Such an actual is considered to
 be dynamically tagged.
 
-An analogous rule applies to an attribute reference of Unchecked_Access,
+An analogous rule applies to an attribute reference of Unchecked_Access
 and to an allocator.
 
 !question
 
 Consider the following code fragment:
 
+        <<Start_Example>>
         type T is tagged null record;
         procedure P(X : access T);
         Y : aliased T'Class := ...;
@@ -143,7 +144,7 @@
 expected type is an anonymous access-to-specific tagged type, the object
 is dynamically tagged if the expression, ignoring enclosing parentheses, is
 of the form X'Access, where X is of a class-wide type, or is of the form
-new T'(...), where T denotes a class-wide subtype. Otherwise, the object is
+@b<new> T'(...), where T denotes a class-wide subtype. Otherwise, the object is
 static or dynamically tagged according to whether the designated type of the
 type of the expression is specific or class-wide, respectively.