CVS difference for ai12s/ai12-0400-1.txt

--- ai12s/ai12-0400-1.txt	2020/10/16 03:25:16	1.1
+++ ai12s/ai12-0400-1.txt	2020/10/16 04:15:57	1.2
@@ -1,6 +1,30 @@
-!standard 13.11(21)                                    20-10-15  AI12-0400-1/01
-!standard 13.11.4(21/3)
-!standard 13.11.4(31/3)
+!standard A.18.2(8/5)                                    20-10-15  AI12-0400-1/02
+!standard A.18.2(36/5)
+!standard A.18.2(37/5)
+!standard A.18.2(38/5)
+!standard A.18.2(44/5)
+!standard A.18.2(46/5)
+!standard A.18.2(47/5)
+!standard A.18.2(58/5)
+!standard A.18.2(79.2/5)
+!standard A.18.2(150/5)
+!standard A.18.2(151/5)
+!standard A.18.2(152/5)
+!standard A.18.2(153/5)
+!standard A.18.2(154/5)
+!standard A.18.2(155/5)
+!standard A.18.2(156/5)
+!standard A.18.2(168/5)
+!standard A.18.2(169/5)
+!standard A.18.2(172/5)
+!standard A.18.2(173/5)
+!standard A.18.2(174/5)
+!standard A.18.2(175.1/5)
+!standard A.18.3(23/5)
+!standard A.18.3(23.1/5)
+!standard A.18.3(58.2/5)
+!standard A.18.3(96/5)
+!standard A.18.3(97.1/5)
 !class binding interpretation 20-10-15
 !status work item 20-10-15
 !status received 20-10-01
@@ -202,17 +226,28 @@
       Count : in   Count_Type [:= 1])
    ...
 
-Add after A.18.3(23/5):
+Modify A.18.3(23.1/5): [From AI12-0391-1]
 
-   procedure Append (Container : in out Doubly_Linked_Lists;
-                     New_Item  : in     Element_Type)
-      with Pre  => (not Tampering_With_Cursors_Prohibited (Container)
-                       or else raise Program_Error) and then
-                   (Length (Container) <= Count_Type'Last - 1
-                       or else raise Constraint_Error),
-           Post => Length (Container)'Old + 1 = Length (Container);
+   procedure Append[_One] (Container : in out List;
+   ...
+
+Modify A.18.3(50.2/5):
+
+   ...
+      Add_Unnamed => Append[_One],
+   ...
+
+Modify A.18.3(96/5):
+
+   ...
+      Count : in   Count_Type [:= 1])
+   ...
+
+Modify A.18.3(97.1/5): [From AI12-0391-1]
+
+   procedure Append[_One] (Container : in out List;
+   ...
 
-  Equivalent to Append (Container, New_Item, Count => 1);
 
 !discussion