CVS difference for ai05s/ai05-0139-2.txt

--- ai05s/ai05-0139-2.txt	2011/09/29 06:34:02	1.21
+++ ai05s/ai05-0139-2.txt	2011/11/01 05:32:51	1.22
@@ -945,7 +945,7 @@
 
 @xcode<...>
 
-@xcode<Find(C, "abc") := Element'(...);  -- @ft<@i<Assign through a reference.>>>
+@xcode<Find(C, "abc") := Element'(...);  -- @ft<@i<Assign through a reference>>>
 
 @xcode<-- @ft<@i<This is equivalent to:>>
 --   Find(C, "abc").Data.@b<all> := Element'(...);>
@@ -1091,7 +1091,7 @@
    @b<function> Next (Object : Forward_Iterator; Position : Cursor)
       @b<return> Cursor @b<is abstract>;>
 
-@xcode<   type Reversible_Iterator @b<is limited interface and> Forward_Iterator;
+@xcode<   @b<type> Reversible_Iterator @b<is limited interface and> Forward_Iterator;
    @b<function> Last (Object : Reversible_Iterator) @b<return> Cursor @b<is abstract>;
    @b<function> Previous (Object : Reversible_Iterator; Position : Cursor)
       @b<return> Cursor @b<is abstract>;>
@@ -1118,7 +1118,7 @@
 is type @i<T> or @i<T>'Class, whose other parameters, if any, have
 default expressions, and whose result type is an iterator type.
 This function is the @i<default iterator function> for @i<T>. Its
-result subtype is the @i<default iterator subtype> for T. The
+result subtype is the @i<default iterator subtype> for @i<T>. The
 iteration cursor subtype for the default iterator subtype is the
 @i<default cursor subtype> for @i<T>.>
 
@@ -1232,7 +1232,7 @@
 variable. In a container element iterator, the loop parameter is
 a constant if the @i<iterable_>@fa<name> denotes a constant, or if the
 Variable_Indexing aspect is not specified for the type of the
-@i<iterable_>@fa<name>; otherwise it denotes a variable.
+@i<iterable_>@fa<name>; otherwise it is a variable.
 
 @s8<@i<Dynamic Semantics>>
 
@@ -1240,8 +1240,8 @@
 the @fa<iterator_specification> is first elaborated. This elaboration
 elaborates the @fa<subtype_indication>, if any.
 
-For a generalized iterator, the loop parameter is created, and the
-@i<iterator_>@fa<name> is evaluated and the denoted iterator object becomes
+For a generalized iterator, the loop parameter is created, the
+@i<iterator_>@fa<name> is evaluated, and the denoted iterator object becomes
 the @i<loop iterator>. In a forward generalized iterator, the operation
 First of the iterator type is called on the loop iterator, to produce
 the initial value for the loop parameter. If the result of calling
@@ -1257,7 +1257,7 @@
 
 For an array component iterator, the @i<array_>@fa<name> is evaluated and
 the array object denoted by the name becomes the @i<array for the
-oop>. If the array for the loop is a null array, then the execution
+loop>. If the array for the loop is a null array, then the execution
 of the @fa<loop_statement> is complete. Otherwise, the
 @fa<sequence_of_statements> is executed with the loop parameter denoting
 each component of the array for the loop, using a @i<canonical> order