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

--- ai05s/ai05-0229-1.txt	2011/11/09 06:17:50	1.24
+++ ai05s/ai05-0229-1.txt	2012/01/05 06:19:33	1.25
@@ -309,10 +309,10 @@
 
 No_Obsolescent_Features
 
-There is no use of language features defined in Annex J. It is implementation-defined
-if uses of the renamings of J.1 {and of the pragmas of J.15} are detected by this
-restriction. This restriction applies only to the current compilation or environment,
-not the entire partition.
+There is no use of language features defined in Annex J. It is implementation[-]{ }defined
+{whether}[if] uses of the renamings of J.1 {and of the pragmas of J.15} are detected
+by this restriction. This restriction applies only to the current compilation or
+environment, not the entire partition.
 
 AARM Note: The pragmas have exactly the functionality of the corresponding aspect,
 (unlike the typical obsolescent feature) and rejecting them could be a significant
@@ -2216,16 +2216,16 @@
 !corrigendum 2.8(29/2)
 
 @drepl
-@xcode<@b<pragma> List(Off); --@ft<@i< turn off listing generation>>
-@b<pragma> Optimize(Off); --@ft<@i< turn off optional optimizations>>
-@b<pragma> Inline(Set_Mask); --@ft<@i< generate code for Set_Mask inline>>
-@b<pragma> Import(C, Put_Char, External_Name =@> "putchar"); --@ft<@i< import C putchar function>>>
-@dby
-@xcode<@b<pragma> List(Off); --@ft<@i< turn off listing generation>>
-@b<pragma> Optimize(Off); --@ft<@i< turn off optional optimizations>>
-@b<pragma> Pure(Rational_Numbers); --@ft<@i< set categorization for package>>
+@xcode<@b<pragma> List(Off); -- @ft<@i<turn off listing generation>>
+@b<pragma> Optimize(Off); -- @ft<@i<turn off optional optimizations>>
+@b<pragma> Inline(Set_Mask); -- @ft<@i<generate code for Set_Mask inline>>
+@b<pragma> Import(C, Put_Char, External_Name =@> "putchar"); -- @ft<@i<import C putchar function>>>
+@dby
+@xcode<@b<pragma> List(Off); -- @ft<@i<turn off listing generation>>
+@b<pragma> Optimize(Off); -- @ft<@i<turn off optional optimizations>>
+@b<pragma> Pure(Rational_Numbers); -- @ft<@i<set categorization for package>>
 @b<pragma> Assert(Exists(File_Name),
-              Message => "Nonexistent file"); --@ft<@i< assert file exists>>>
+              Message =@> "Nonexistent file"); -- @ft<@i<assert file exists>>>
 
 
 !corrigendum 3.6.2(11)
@@ -2363,10 +2363,10 @@
 !corrigendum 6.3.1(14)
 
 @drepl
-Of these four conventions, only Ada and Intrinsic are allowed as a @I<convention_>identifier
+Of these four conventions, only Ada and Intrinsic are allowed as a @I<convention_>@fa<identifier>
 in a @fa<pragma> Convention, Import, or Export.
 @dby
-Of these four conventions, only Ada and Intrinsic are allowed as a @I<convention_>identifier
+Of these four conventions, only Ada and Intrinsic are allowed as a @I<convention_>@fa<identifier>
 in the specification of a Convention aspect.
 
 !corrigendum 6.3.2(2)
@@ -2939,7 +2939,7 @@
 @drepl
 @xhang<@xterm<No_Obsolescent_Features>
 There is no use of language features defined in Annex J. It is
-implementation defined whether uses of the renamings of J.1 are detected by this
+implementation-defined if uses of the renamings of J.1 are detected by this
 restriction. This restriction applies only to the current compilation or
 environment, not the entire partition.>
 @dby