CVS difference for ais/ai-00218.txt

Differences between 1.11 and version 1.12
Log of other versions for file ais/ai-00218.txt

--- ais/ai-00218.txt	2002/01/19 00:42:36	1.11
+++ ais/ai-00218.txt	2002/05/25 03:42:17	1.12
@@ -1,5 +1,5 @@
 !standard 8.3(26)                                      01-09-11  AI95-00218/06
-!status Amendment 200Y 02-17-01
+!status Amendment 200Y 02-01-17
 !class amendment 99-03-23
 !status WG9 approved 01-10-05
 !status ARG approved 7-0-1  01-05-18
@@ -315,15 +315,17 @@
 as the corresponding declarations in the generic were not type conformant.
 @dinss
 @i<@s8<Syntax>>
+
 @xindent<The form of a pragma Explicit_Overriding is as follows:@hr
-  @b<pragma> Explicit_Overriding;@hr
+    @b<pragma> Explicit_Overriding;@hr
 The form of a pragma Overriding is as follows:@hr
-  @b<pragma> Overriding [(@fa<designator>)];@hr
+    @b<pragma> Overriding [(@fa<designator>)];@hr
 The form of a pragma Optional_Overriding is as follows:@hr
-  @b<pragma> Optional_Overriding [(@fa<designator>)];@hr
+    @b<pragma> Optional_Overriding [(@fa<designator>)];@hr
 Pragma Explicit_Overriding is a configuration pragma.>
+
+@i<@s8<Legality Rules>>
 
-@i<@s8<Legality Rules>>@hr
 @fa<Pragma>s Overriding and Optional_Overriding shall immediately follow (except
 for other pragmas) the explicit declaration of a primitive operation. The
 optional @fa<designator> of a @fa<pragma> Overriding or Optional_Overriding shall be

Questions? Ask the ACAA Technical Agent