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

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

--- ai22s/ai22-0050-1.html	2023/06/27 04:16:10	1.4
+++ ai22s/ai22-0050-1.html	2024/02/13 07:49:08	1.5
@@ -1,16 +1,16 @@
 <html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0050-1/03</title>
 <style type="text/css">
 table td,table th{padding:0}
-BODY.body{background-color:#ffffff; max-width:468pt; padding:72pt 72pt 72pt 72pt}
+BODY.body{background-color:#ffffff; max-width:540pt; padding:36pt 36pt 36pt 36pt}
+P.anum{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:26pt; padding-bottom:3pt; 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}
 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}
 P.code{margin-bottom:0; margin-top:0; margin-left:36pt; margin-right:0; padding-top:0pt; color:#000000; font-size:10pt; padding-bottom:3pt; font-family:"Courier New",monospace; line-height:1.15; text-align:left; background-color:#f0f0f0; font-weight:400; 
text-decoration:none; vertical-align:baseline; font-style:normal}
 P.text{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:0pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; text-align:left; font-weight:400; text-decoration:
none; vertical-align:baseline; font-style:normal}
 P.txts{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:11pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; text-align:left; font-weight:400; text-decoration
:none; vertical-align:baseline; font-style:normal}
-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="body"><p class="l3h">AI22-0050-1</p>
+</head><body class="body"><p class="anum">AI22-0050-1</p>
 <p class="head">!standard 13.11.5(3/5) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;23-04-21
 &nbsp;AI22-0050-1/03</p>
@@ -55,7 +55,7 @@
 <p class="text">@b{procedure} Ada.Unchecked_Deallocate_Subpool</p>
 <p class="text">&nbsp; &nbsp;(Subpool : @b{in out}
 System.Storage_Pools.Subpools.Subpool_Handle)</p>
-<p class="text">&nbsp; &nbsp;@b{with} {Preelaborate, @}Global =&gt; @b{in out all};}</p>
+<p class="text">&nbsp; &nbsp;@b{with} Preelaborate, Global =&gt; @b{in out all};}</p>
 <h2 class="head">!ACATS test</h2>
 <p class="text">An ACATS C-Test could be constructed to check that the
 Ada.Unchecked_Deallocate_Subpool procedure is preelaborated.</p>
@@ -65,4 +65,4 @@
 
 <p class="txts">******************************************************</p>
 
-</body></html> 
+</body></html>

Questions? Ask the ACAA Technical Agent