CVS difference for ais/ai-00353.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00353.txt

--- ais/ai-00353.txt	2003/09/24 21:05:03	1.1
+++ ais/ai-00353.txt	2003/10/29 00:40:41	1.2
@@ -1,5 +1,7 @@
-!standard D.7 (10)                                   03-09-24  AI95-00353/01
+!standard D.7 (10)                                   03-10-23  AI95-00353/02
 !class amendment 02-09-24
+!status Amendment 200Y 03-10-23
+!status ARG Approved 10-0-0  03-10-03
 !status work item 02-09-24
 !status received 02-09-24
 !priority High
@@ -22,25 +24,27 @@
 
 !proposal
 
-The following new pragma Restrictions identifier is identified and applies to
-the alternative mode of operation defined by the ARINC_653_Processes Profile:
+(See wording.)
 
-     No_Synchronous_Control
-
-There are no dependencies on Ada.Synchronous_Task_Control.
-
 !wording
 
 Following paragraph 10 of section D.7 add the following
 
 No_Synchronous_Control
-          There are no dependencies on Ada.Synchronous_Task_Control.
+    There are no semantic dependences on the package Synchronous_Task_Control.
 
 !discussion
 
 !example
+
+!corrigendum D.7(10)
 
---!corrigendum D.7(10)
+@dinsa
+@xhang<@xterm<No_Asynchronous_Control>
+There are no semantic dependences on the package Asynchronous_Task_Control.>
+@dinst
+@xhang<@xterm<No_Synchronous_Control>
+There are no semantic dependences on the package Synchronous_Task_Control.>
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent