CVS difference for ais/ai-00249.txt

Differences between 1.14 and version 1.15
Log of other versions for file ais/ai-00249.txt

--- ais/ai-00249.txt	2005/04/13 05:37:01	1.14
+++ ais/ai-00249.txt	2005/10/31 05:18:16	1.15
@@ -1,4 +1,4 @@
-!standard D.13 (01)                                  05-02-25  AI95-00249/11
+!standard D.13 (01)                                  05-10-01  AI95-00249/12
 !class amendment 00-12-04
 !status Amendment 200Y 02-10-23
 !status WG9 Approved 02-12-13
@@ -65,7 +65,7 @@
 This clause defines the Ravenscar profile.
 
 Legality Rules
-The profile_identifier Ravenscar names a run-time profile.
+The profile_identifier Ravenscar is a run-time profile.
 For run-time profile Ravenscar, there shall be no
 profile_pragma_argument_associations.
 
@@ -138,8 +138,8 @@
 
 @i<@s8<Syntax>>
 
-The form of a pragma Profile is as follows:@hr
-@xindent<@b<pragma> Profile (@i<profile_>@fa<identifier> {@i<profile_>@fa<pragma_argument_association>);>
+The form of a @fa<pragma> Profile is as follows:@hr
+@xindent<@b<pragma> Profile (@i<profile_>@fa<identifier> {, @i<profile_>@fa<pragma_argument_association>});>
 
 @i<@s8<Legality Rules>>
 
@@ -154,8 +154,8 @@
 
 @i<@s8<Post-Compilation Rules>>
 
-A pragma Profile is a configuration pragma. There may be more than one
-pragma Profile for a partition.
+A @fa<pragma> Profile is a configuration pragma. There may be more than one
+@fa<pragma> Profile for a partition.
 
 !corrigendum D.13.1(01)
 
@@ -165,7 +165,7 @@
 
 @i<@s8<Legality Rules>>
 
-The @i<profile_>@fa<identifier> Ravenscar names a run-time profile.
+The @i<profile_>@fa<identifier> Ravenscar is a run-time profile.
 For run-time profile Ravenscar, there shall be no
 @i<profile_>@fa<pragma_argument_association>s.
 

Questions? Ask the ACAA Technical Agent