CVS difference for ai22s/ai22-0029-1.html

Differences between 1.5 and version 1.6
Log of other versions for file ai22s/ai22-0029-1.html

--- ai22s/ai22-0029-1.html	2023/02/02 05:32:26	1.5
+++ ai22s/ai22-0029-1.html	2023/02/15 09:22:27	1.6
@@ -1,7 +1,7 @@
 <html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0029-1/07</title>
 <style type="text/css">
 table td,table th{padding:0}
-.c19{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
+BODY.body{background-color:#ffffff; max-width:468pt; padding:72pt 72pt 72pt 72pt}
 P.head{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:14pt; padding-bottom:0pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; orphans:2; widows:2; text-align:left; font-weight:
400; text-decoration:none; vertical-align:baseline; font-style:normal}
 H2.head{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:12pt; color:#000000; font-size:14pt; padding-bottom:6pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; page-break-after:avoid; orphans:2; widows:2; tex
t-align:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
 P.inst{margin-bottom:0; margin-top:0; margin-left:18pt; margin-right:0; padding-top:9pt; color:#000000; font-size:12pt; padding-bottom:6pt; font-family:"Arial","Liberation Sans",sans-serif;line-height:1.15; orphans:2; widows:2; text-align:left; font-weigh
t:400; text-decoration:none; vertical-align:baseline; font-style:normal}
@@ -13,17 +13,12 @@
 P.from{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:10pt; padding-bottom:0pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; orphans:2; widows:2; text-align:left; font-weight:
400; text-decoration:none; vertical-align:baseline; font-style:none}
 P.time{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:9pt; padding-bottom:9pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; orphans:2; widows:2; text-align:left; font-weight:4
00; text-decoration:none; vertical-align:baseline; font-style:italic}
 SPAN.name{font-family:"Lucida Calligraphy",cursive; font-style:normal}
-SPAN.ins{color:#008800}
-SPAN.del{color:#880000}
+SPAN.ins{color:#007700}
+SPAN.del{color:#cc8888}
 SPAN.ntrm{font-family:"Arial","Liberation Sans",sans-serif}
-P.a2{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0;color:#000000;font-size:26pt;font-family:"Arial","Liberation Sans",sans-serif; padding-top:0pt; padding-bottom:3pt; line-height:1.15; page-break-after:avoid; orphans:2; widows:2; text-align
:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
-P.a12{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0;color:#000000;font-size:11pt;font-family:"Arial","Liberation Sans",sans-serif; background-color:#ffffff; padding-top:4pt; padding-bottom:9pt; line-height:1.15; orphans:2; widows:2; text-al
ign:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
-P.a13{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0;color:#000000;font-size:11pt;font-family:"Arial","Liberation Sans",sans-serif; background-color:#ffffff; padding-top:0pt; padding-bottom:12pt; line-height:1.15; orphans:2; widows:2; text-a
lign:left}
-P.a14{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0;color:#000000;font-size:11pt;font-family:"Arial","Liberation Sans",sans-serif; background-color:#ffffff; padding-top:0pt; padding-bottom:12pt; line-height:1.15; orphans:2; widows:2; text-a
lign:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
-SPAN.a16{font-weight:400; text-decoration:none; vertical-align:baseline;font-style:normal}
-SPAN.a17{font-weight:400}
+P.l3h{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0;color:#000000;font-size:26pt;font-family:"Arial","Liberation Sans",sans-serif; padding-top:0pt; padding-bottom:3pt; line-height:1.15; page-break-after:avoid; orphans:2; widows:2; text-alig
n:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
 </style>
-</head><body class="c19 doc-content"><p class="a2">AI22-0029-1</p>
+</head><body class="body"><p class="l3h">AI22-0029-1</p>
 <p class="head">!standard 13.3(75.1/3) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 23-02-01 &nbsp;AI22-0029-1/07</p>
 <p class="head">!standard 13.3(76)</p>
@@ -158,17 +153,13 @@
 T&#39;External_Tag for some other tagged type declared by a different declaration in the partition,
 Program_Error is raised by the elaboration of the @fa{attribute_definition_clause}.</p>
 <p class="text">@dby</p>
-<p class="a12">If two tagged types X and Y both exist in a given partition, X and Y are declared by
-distinct declarations, and a user-specified X&rsquo;External_Tag is the same as
+<p class="text">If two tagged types X and Y both exist in a given partition, X and Y are declared
+by distinct declarations, and a user-specified X&rsquo;External_Tag is the same as
 Y&rsquo;External_Tag, then Program_Error is raised at one or more of the following places:</p>
-<p class="a13">@xbullet{an
-@fa{<span class="a17">attribute_definition_clause}</span><span class="a16">&nbsp;for
-X&rsquo;External_Tag;}</span></p>
-<p class="a13">@xbullet{an
-@fa{<span class="a17">attribute_definition_clause}</span><span class="a16">&nbsp;for
-Y&rsquo;External_Tag;}</span></p>
-<p class="a14">@xbullet{the freezing point of X;}</p>
-<p class="a14">@xbullet{the freezing point of Y.}</p>
+<p class="text">@xbullet{an @fa{attribute_definition_clause} for X&rsquo;External_Tag;}</p>
+<p class="text">@xbullet{an @fa{attribute_definition_clause} for Y&rsquo;External_Tag;}</p>
+<p class="text">@xbullet{the freezing point of X;}</p>
+<p class="text">@xbullet{the freezing point of Y.}</p>
 <h2 class="head">!corrigendum 13.3(76)</h2>
 <p class="text">@drepl</p>
 <p class="text">In an implementation, the default external tag for each specific tagged type

Questions? Ask the ACAA Technical Agent