CVS difference for ais/ai-00206.txt

Differences between 1.7 and version 1.8
Log of other versions for file ais/ai-00206.txt

--- ais/ai-00206.txt	2000/01/26 18:24:21	1.7
+++ ais/ai-00206.txt	2000/07/08 02:40:52	1.8
@@ -1,4 +1,4 @@
-!standard C.7.1    (10)                               00-01-24  AI95-00206/04
+!standard C.7.1    (10)                               00-07-07  AI95-00206/05
 !class ramification 98-09-29
 !status Response 2000 00-01-24
 !status WG9 approved 99-06-12
@@ -22,13 +22,13 @@
 What is the behavior of Ada.Task_Identification.Is_Callable for the
 environment task? In particular, does it change in value from True to False
 when the main subprogram exits and starts waiting for library-level tasks
-to terminate? (Yes)
+to terminate? (Yes.)
 
 !response
 
-The note C.7.1(21) says that Ada.Task_Identification.Current_Task can return a
-Task_Id value designating the environment task. The definition of Is_Callable
-(in 9.8(2)) is that it is True unless the task is completed or abnormal. The
+The NOTE C.7.1(21) says that Ada.Task_Identification.Current_Task can return a
+Task_Id value designating the environment task. 9.8(2) specifies that
+Is_Callable returns True unless the task is completed or abnormal. The
 structure of the environment task given in 10.2(10-12), and the dynamic
 semantics of 10.2(25) tell us that the environment task is completed before
 waiting for dependent tasks. The erroneous execution case of C.7.1(18)

Questions? Ask the ACAA Technical Agent