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

--- ai05s/ai05-0055-1.txt	2007/05/26 01:44:00	1.1
+++ ai05s/ai05-0055-1.txt	2007/07/26 02:58:06	1.2
@@ -1,5 +1,6 @@
-!standard D.2.6(26/2)                              07-05-15    AI05-0055-1/01
+!standard D.2.6(26/2)                              07-06-12    AI05-0055-1/02
 !class binding interpretation 07-05-15
+!status ARG Approved  10-0-2  07-06-01
 !status work item 07-05-15
 !status received 07-05-15
 !priority Medium
@@ -31,9 +32,13 @@
 
 *  the highest priority P, if any, less than the base priority of T such 
    that one or more tasks are executing within a protected object with 
-   ceiling priority P and task T has an earlier deadline than all such tasks 
-   and all other tasks on ready queues with priorities strictly less than P.
+   ceiling priority P and task T has an earlier deadline than all such tasks;
+   and furthermore T has an an earlier deadline than all other tasks on
+   ready queues with priorities in the given EDF_Across_Priorities range that
+   are strictly less than P.
 
+!discussion
+
 The current rule (26/2) is one of three concerning active priority. The 
 idea is that the active priority is the maximum of the three items given 
 in 24, 25 and 26). The third in 26 says
@@ -123,9 +128,21 @@
 
 !example
 
-See papar at http://www.ada-auth.org/ai-files/grab_bag/EDFpaper.pdf
+See paper at http://www.ada-auth.org/ai-files/grab_bag/EDFpaper.pdf
 
 !corrigendum D.2.6(26/2)
+
+@drepl
+@xbullet<the highest priority @i<P>, if any, less than the base priority of @i<T>
+such that one or more tasks are executing within a protected object with
+ceiling priority @i<P> and task @i<T> has an earlier deadline than all such tasks.>
+@dby
+@xbullet<the highest priority @i<P>, if any, less than the base priority of @i<T>
+such that one or more tasks are executing within a protected object with
+ceiling priority @i<P> and task @i<T> has an earlier deadline than all such tasks;
+and furthermore @i<T> has an an earlier deadline than all other tasks on
+ready queues with priorities in the given EDF_Across_Priorities range that
+are strictly less than @i<P>.>
 
 !ACATS Test