CVS difference for ais/ai-20302.txt

--- ais/ai-20302.txt	2005/10/31 05:18:49	1.23
+++ ais/ai-20302.txt	2005/11/16 06:51:21	1.24
@@ -1,4 +1,4 @@
-!standard A.18 (00)                                  05-09-20  AI95-00302-03/15
+!standard A.18 (00)                                  05-11-15  AI95-00302-03/16
 !standard A.18.1 (00)
 !standard A.18.2 (00)
 !standard A.18.3 (00)
@@ -1018,7 +1018,7 @@
 value of Last appropriate for length NL would be greater than Index_Type'Last
 then Constraint_Error is propagated.
 
-If the current vector capacity is less than or equal to NL,
+If the current vector capacity is less than NL,
 Reserve_Capacity (Container, NL) is called to increase the vector capacity.
 Then Insert slides the elements in the range Before .. Last_Index (Container)
 up by Length(New_Item) positions, and then copies the elements of New_Item to
@@ -1099,7 +1099,7 @@
 length and Count; if the value of Last appropriate for length NL would be
 greater than Index_Type'Last then Constraint_Error is propagated.
 
-If the current vector capacity is less than or equal to NL,
+If the current vector capacity is less than NL,
 Reserve_Capacity (Container, NL) is called to increase the vector capacity.
 Then Insert slides the elements in the range Before .. Last_Index
 (Container) up by Count positions, and then inserts elements that
@@ -1149,7 +1149,7 @@
 length and Count; if the value of Last appropriate for length NL would be
 greater than Index_Type'Last then Constraint_Error is propagated.
 
-If the current vector capacity is less than or equal to NL,
+If the current vector capacity is less than NL,
 Reserve_Capacity (Container, NL) is called to increase the vector capacity.
 Then Insert_Space slides the elements in the range Before .. Last_Index
 (Container) up by Count positions, and then inserts empty elements in the
@@ -1280,7 +1280,7 @@
 
 If Position equals No_Element or designates the first element of the container,
 then Previous returns the value No_Element. Otherwise, it returns a cursor that
-designates the element with index (To_Index (Position) - 1) in the same vector
+designates the element with index To_Index (Position) - 1 in the same vector
 as Position.
 
 procedure Previous (Position : in out Cursor);
@@ -7216,7 +7216,7 @@
 value of Last appropriate for length @i<NL> would be greater than Index_Type'Last
 then Constraint_Error is propagated.>
 
-@xindent<If the current vector capacity is less than or equal to @i<NL>,
+@xindent<If the current vector capacity is less than @i<NL>,
 Reserve_Capacity (Container, @i<NL>) is called to increase the vector capacity.
 Then Insert slides the elements in the range Before .. Last_Index (Container)
 up by Length(New_Item) positions, and then copies the elements of New_Item to
@@ -7278,7 +7278,7 @@
 length and Count; if the value of Last appropriate for length @i<NL> would be
 greater than Index_Type'Last then Constraint_Error is propagated.>
 
-@xindent<If the current vector capacity is less than or equal to @i<NL>,
+@xindent<If the current vector capacity is less than @i<NL>,
 Reserve_Capacity (Container, @i<NL>) is called to increase the vector capacity.
 Then Insert slides the elements in the range Before .. Last_Index
 (Container) up by Count positions, and then inserts elements that are
@@ -7328,7 +7328,7 @@
 length and Count; if the value of Last appropriate for length @i<NL> would be
 greater than Index_Type'Last then Constraint_Error is propagated.>
 
-@xindent<If the current vector capacity is less than or equal to @i<NL>,
+@xindent<If the current vector capacity is less than @i<NL>,
 Reserve_Capacity (Container, @i<NL>) is called to increase the vector capacity.
 Then Insert_Space slides the elements in the range Before .. Last_Index
 (Container) up by Count positions, and then inserts empty elements in the
@@ -7437,7 +7437,7 @@
 
 @xindent<If Position equals No_Element or designates the first element of the container,
 then Previous returns the value No_Element. Otherwise, it returns a cursor that
-designates the element with index (To_Index (Position) @endash 1) in the same
+designates the element with index To_Index (Position) @endash 1 in the same
 vector as Position.>
 
 @xcode<@b<procedure> Previous (Position : @b<in out> Cursor);>