CVS difference for 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