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

--- ai05s/ai05-0246-1.txt	2011/06/20 04:55:18	1.8
+++ ai05s/ai05-0246-1.txt	2011/11/01 05:32:53	1.9
@@ -185,12 +185,12 @@
 !corrigendum 13.12(1)
 
 @drepl
-A pragma Restrictions expresses the user's intent to abide
+A @fa<pragma> Restrictions expresses the user's intent to abide
 by certain restrictions. This may facilitate the construction of simpler
 run-time environments.
 @dby
-A pragma Restrictions expresses the user's intent to abide
-by certain restrictions. A pragma Profile expresses the user's intent
+A @fa<pragma> Restrictions expresses the user's intent to abide
+by certain restrictions. A @fa<pragma> Profile expresses the user's intent
 to abide by a set of Restrictions or other specified run-time
 policies. These may facilitate the construction of simpler
 run-time environments.
@@ -271,7 +271,7 @@
 @dinss
 @i<@s8<Static Semantics>>
 
-The following @i<profile_>@fa<identifier> is language-defined:
+The following @i<profile_>@fa<identifier> is language defined:
 
 @xhang<@xterm<No_Implementation_Extensions>>