CVS difference for arm/source/safety.mss

Differences between 1.48 and version 1.49
Log of other versions for file arm/source/safety.mss

--- arm/source/safety.mss	2011/04/07 06:18:37	1.48
+++ arm/source/safety.mss	2011/05/03 06:34:09	1.49
@@ -1,8 +1,8 @@
 @Comment{ $Source: e:\\cvsroot/ARM/Source/safety.mss,v $ }
-@Comment{ $Revision: 1.48 $ $Date: 2011/04/07 06:18:37 $ $Author: randy $ }
+@Comment{ $Revision: 1.49 $ $Date: 2011/05/03 06:34:09 $ $Author: randy $ }
 @Part(safety, Root="ada.mss")
 
-@Comment{$Date: 2011/04/07 06:18:37 $}
+@Comment{$Date: 2011/05/03 06:34:09 $}
 @LabeledRevisedNormativeAnnex{Version=[2],
 New=[High Integrity Systems], Old=[Safety and Security]}
 
@@ -663,8 +663,8 @@
 @LabeledRevisedClause{Version=[2],New=[High Integrity Restrictions],Old=[Safety and Security Restrictions]}
 @begin{Intro}
 This clause defines restrictions that can be used with pragma
-Restrictions (see @RefSecNum(Pragma Restrictions)); these facilitate
-the demonstration of program correctness by allowing
+Restrictions (see @RefSecNum(Pragma Restrictions and Pragma Profile)); these
+facilitate the demonstration of program correctness by allowing
 tailored versions of the run-time system.
 @begin{Discussion}
 

Questions? Ask the ACAA Technical Agent