CVS difference for arm/source/rt.mss

Differences between 1.74 and version 1.75
Log of other versions for file arm/source/rt.mss

--- arm/source/rt.mss	2006/10/18 00:25:27	1.74
+++ arm/source/rt.mss	2006/10/19 06:40:31	1.75
@@ -1,7 +1,7 @@
 @Comment{ $Source: e:\\cvsroot/ARM/Source/rt.mss,v $ }
-@comment{ $Revision: 1.74 $ $Date: 2006/10/18 00:25:27 $ $Author: Randy $ }
+@comment{ $Revision: 1.75 $ $Date: 2006/10/19 06:40:31 $ $Author: Randy $ }
 @Part(realtime, Root="ada.mss")
-@Comment{$Date: 2006/10/18 00:25:27 $}
+@Comment{$Date: 2006/10/19 06:40:31 $}
 
 @LabeledNormativeAnnex{Real-Time Systems}
 
@@ -862,7 +862,6 @@
 However, a @nt{delay_statement} always corresponds to at least one task
 dispatching point.]}
 
-@ImplDef{Implementation defined task dispatching.}
 @ChgImplDef{Version=[2],Kind=[Revised],Text=[Implementation defined task
 dispatching@Chg{Version=[2],New=[ policies],Old=[]}.]}
 
@@ -3888,7 +3887,7 @@
 a mutual-exclusive access to an entry-less protected object. This shall be
 measured in the following way:
 
-@NoPrefix@Leading@;For a protected object of the form:
+@NoPrefix@Leading@keepnext@;For a protected object of the form:
 @begin{example}
 @key{protected} Lock @key{is}
    @key{procedure} Set;
@@ -3979,6 +3978,7 @@
 @end{Extend95}
 
 
+@RMNewPage
 @LabeledAddedSubClause{Version=[2],Name=[The Ravenscar Profile]}
 
 @begin{Intro}
@@ -4060,6 +4060,7 @@
 @end{Extend95}
 
 
+@RMNewPage@Comment{For printed Ada 2007 RM}
 @LabeledAddedClause{Version=[2],Name=[Execution Time]}
 
 @begin{Intro}
@@ -4507,6 +4508,7 @@
 @end{Extend95}
 
 
+@RMNewPage@Comment{For printed Ada 2007 RM}
 @LabeledAddedSubclause{Version=[2],Name=[Group Execution Time Budgets]}
 
 @begin{Intro}

Questions? Ask the ACAA Technical Agent