CVS difference for ais/ai-00280.txt

--- ais/ai-00280.txt	2005/06/16 23:47:21	1.10
+++ ais/ai-00280.txt	2005/08/05 04:34:38	1.11
@@ -1,4 +1,4 @@
-!standard   9.04 (20)                                  05-05-16  AI95-00280/06
+!standard   9.04 (20)                                  05-07-11  AI95-00280/07
 !standard   4.08 (11)
 !standard   7.06.01 (11)
 !standard  11.05 (20)
@@ -193,9 +193,9 @@
 part, and the finalization of the collection of the type of the @fa<allocator>
 (see 7.6.1) has started, Program_Error is raised.
 
-If the created object contains any tasks, and the master of the type
-of the @fa<allocator> is completed, and all of the dependent tasks of the
-master are terminated (see 9.3), then Program_Error is raised.
+If the object to be created by an @fa<allocator> contains any tasks, and the
+master of the type of the @fa<allocator> is completed, and all of the dependent
+tasks of the master are terminated (see 9.3), then Program_Error is raised.
 
 If the created object contains any tasks, they are activated (see 9.2).
 Finally, an access value that designates the created object is returned.
@@ -252,9 +252,9 @@
 @xhang<@xterm<Accessibility_Check>
 Check the accessibility level of an entity or view.>
 @xhang<@xterm<Allocation_Check>
-For an @fa<allocator>, check that the master of any tasks created by the
-@fa<allocator> has not yet finished waiting for dependents, and that the
-finalization of the collection has not started.>
+For an @fa<allocator>, check that the master of any tasks to be created by the
+@fa<allocator> is not yet completed or some dependents have not yet terminated,
+and that the finalization of the collection has not started.>
 
 !corrigendum 11.05(21)
 !comment This item is out of order, thus it has been moved.