CVS difference for ai12s/ai12-0417-1.txt

--- ai12s/ai12-0417-1.txt	2021/03/18 09:47:49	1.8
+++ ai12s/ai12-0417-1.txt	2021/05/30 00:35:12	1.9
@@ -692,7 +692,7 @@
 !corrigendum 10.2.1(3)
 
 @ddel
-@xindent<@ @ @b<pragma> Preelaborate (@i<library_unit_>@fa<name>);>
+@xindent<@ @ @b<pragma> Preelaborate[(@i<library_unit_>@fa<name>)];>
 
 !corrigendum 10.2.1(4)
 
@@ -752,7 +752,7 @@
 !corrigendum 10.2.1(14)
 
 @ddel
-@xindent<@ @ @b<pragma> Pure (@i<library_unit_>@fa<name>);>
+@xindent<@ @ @b<pragma> Pure[(@i<library_unit_>@fa<name>)];>
 
 !corrigendum 10.2.1(15)
 
@@ -800,7 +800,7 @@
 !corrigendum 10.2.1(22)
 
 @ddel
-@xindent<@ @ @b<pragma> Elaborate_Body (@i<library_unit_>@fa<name>);>
+@xindent<@ @ @b<pragma> Elaborate_Body[(@i<library_unit_>@fa<name>)];>
 
 !corrigendum 10.2.1(24)
 
@@ -949,7 +949,7 @@
 !corrigendum E.2.2(3)
 
 @ddel
-@xindent<@ @ @b<pragma> Remote_Types (@i<library_unit_>@fa<name>);>
+@xindent<@ @ @b<pragma> Remote_Types[(@i<library_unit_>@fa<name>)];>
 
 !corrigendum E.2.2(4/3)
 
@@ -970,7 +970,7 @@
 !corrigendum E.2.3(3)
 
 @ddel
-@xindent<@ @ @b<pragma> Remote_Call_Interface (@i<library_unit_>@fa<name>);>
+@xindent<@ @ @b<pragma> Remote_Call_Interface[(@i<library_unit_>@fa<name>)];>
 
 !corrigendum E.2.3(4)
 
@@ -980,7 +980,7 @@
 !corrigendum E.2.3(5)
 
 @ddel
-@xindent<@ @ @b<pragma> All_Calls_Remote (@i<library_unit_>@fa<name>);>
+@xindent<@ @ @b<pragma> All_Calls_Remote[(@i<library_unit_>@fa<name>)];>
 
 !corrigendum E.2.3(6)
 
@@ -1099,13 +1099,13 @@
 
 The following @fa<pragma>s are defined with the given forms: 
 
-@xindent<@ @ @b<pragma> Shared_Passive (@i<library_unit_>@fa<name>);>
+@xindent<@ @ @b<pragma> Shared_Passive[(@i<library_unit_>@fa<name>)];>
 
-@xindent<@ @ @b<pragma> Remote_Types (@i<library_unit_>@fa<name>);>
+@xindent<@ @ @b<pragma> Remote_Types[(@i<library_unit_>@fa<name>)];>
 
-@xindent<@ @ @b<pragma> Remote_Call_Interface (@i<library_unit_>@fa<name>);>
+@xindent<@ @ @b<pragma> Remote_Call_Interface[(@i<library_unit_>@fa<name>)];>
 
-@xindent<@ @ @b<pragma> All_Calls_Remote (@i<library_unit_>@fa<name>);>
+@xindent<@ @ @b<pragma> All_Calls_Remote[(@i<library_unit_>@fa<name>)];>
 
 Each of these pragmas is a library unit pragma.