CVS difference for ai05s/ai05-0166-1.txt

--- ai05s/ai05-0166-1.txt	2010/04/29 06:27:42	1.6
+++ ai05s/ai05-0166-1.txt	2010/06/07 05:12:47	1.7
@@ -1,4 +1,4 @@
-!standard  D.2.1(1.2/2)                            10-04-22    AI05-0166-1/06
+!standard  D.2.1(1.2/2)                            10-06-07    AI05-0166-1/07
 !standard  D.2.1(6/2)
 !standard  D.2.4(2/2)
 !standard  D.2.4(9/2)
@@ -13,7 +13,7 @@
 
 !summary
 
-A support package for non-preemptive dispatching is proposed that
+A support package for non-preemptive dispatching is introduced that
 allows a task to offer to be preempted by a higher priority task,
 but not by one of equal priority. A further 'yield' procedure is
 included to improve the readability and maintainability of programs.
@@ -69,11 +69,11 @@
 Modify package Ada.Dispatching (D.2.1(1.2/2)):
 
 package Ada.Dispatching is
-    pragma Preelaborate[Pure](Dispatching);{
+    pragma {Preelaborate}[Pure](Dispatching);{
 
     procedure Yield;
 
-}   Dispatching_Error_Policy : exception;
+}   Dispatching_Policy_Error : exception;
 end Ada.Dispatching;
 
 
@@ -173,7 +173,7 @@
 !corrigendum D.2.1(6/2)
 
 @dinsa
-Each processor also has one @i<running> task, which is the task currently being
+Each processor also has one @i<running task>, which is the task currently being
 executed by that processor. Whenever a task running on a processor reaches a task
 dispatching point it goes back to one or more ready queues; a task (possibly the
 same task) is then selected to run on that processor. The task selected is the one
@@ -206,7 +206,7 @@
 
 @drepl
 For this policy, a non-blocking @fa<delay_statement> is the only non-blocking event
-that is task dispatching point (see D.2.1).
+that is a task dispatching point (see D.2.1).
 @dby
 For this policy, blocking or termination of a task, a @fa<delay_statement>,
 a call to Yield_To_Higher, and a call to Yield_To_Same_Or_Higher or