CVS difference for ais/ai-00067.txt

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

--- ais/ai-00067.txt	2000/06/21 23:39:07	1.7
+++ ais/ai-00067.txt	2000/07/13 04:31:26	1.8
@@ -14,7 +14,7 @@
 !summary
 
 For a pragma Restrictions(Max_Tasks => 0), task creation is illegal, for
-both the Real Time annex and the Safety and Security annex.  Similarly,
+both the Real Time Systems annex and the Safety and Security annex.  Similarly,
 for a pragma Restrictions(Max_Asynchronous_Select_Nesting => 0),
 asynchronous_selects are illegal, for both of these annexes.
 
@@ -119,9 +119,9 @@
        particular value here.
 
     4. Delete the requirement to check the restriction before run time.
-       We reject this, because it does not satisfy the needs of the SS
-       annex -- namely, to know at compile time whether the program is
-       wrong.
+       We reject this, because it does not satisfy the needs of the Safety
+       and Security annex -- namely, to know at compile time whether the
+       program is wrong.
 
 Similar arguments apply to Max_Asynchronous_Select_Nesting.
 

Questions? Ask the ACAA Technical Agent