CVS difference for ai05s/ai05-0030-2.txt

--- ai05s/ai05-0030-2.txt	2008/03/07 06:15:18	1.3
+++ ai05s/ai05-0030-2.txt	2008/05/10 05:14:33	1.4
@@ -1,4 +1,4 @@
-!standard  9.5(9)                                  08-02-25    AI05-0030-2/03
+!standard  9.5(9)                                  08-04-21    AI05-0030-2/04
 !standard  9.5.4(2)
 !standard  9.5.4(3)
 !standard  9.5.4(5)
@@ -224,7 +224,7 @@
 
 @s8<@i<Legality Rules>>
 
-The @i<procedure_>@fa<local_name> of a pragma Implemented shall denote a 
+The @i<procedure_>@fa<local_name> of a @fa<pragma> Implemented shall denote a 
 primitive procedure of a synchronized tagged type.
 
 A @fa<pragma> Implemented with @fa<implementation_kind> By_Protected