<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0">
<!-- MHonArc v2.6.19+ -->
  <channel>
    <title>ada-comment</title>
    <link>http://www.mail-archive.com/ada-comment@ada-auth.org</link>
    <description>ada-comment @ ada-auth</description>
    <pubDate>Thu, 24 Jul 2025 03:18:36 GMT</pubDate>
    <lastBuildDate>Thu, 24 Jul 2025 03:18:36 GMT</lastBuildDate>
    <docs>http://blogs.law.harvard.edu/tech/rss</docs>
    <generator>MHonArc RSS 2.0 RCFile</generator>
    <webMaster>themailarchive@gmail.com (The Mail Archive)</webMaster>
    <image>
       <title>The Mail Archive</title>
       <url>http://www.mail-archive.com/nanologo.png</url>
       <link>http://www.mail-archive.com/ada-comment@ada-auth.org</link>
    </image>
 
    <item>
      <title>Re: [Ada-Comment] Suggestions for next version of Ada standard</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00080.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/07/24&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Dirk Craeynest%22&quot;&gt;Dirk Craeynest&lt;/a&gt;</description>
      <pubDate>Thu, 24 Jul 2025 03:18:36 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00080.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] Suggestions for next version of Ada standard</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00079.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/07/21&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Ada-comment for Tucker Taft%22&quot;&gt;Ada-comment for Tucker Taft&lt;/a&gt;</description>
      <pubDate>Mon, 21 Jul 2025 15:50:06 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00079.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Syntax issue of example 3.10.1-23e.</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00078.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/03/03&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Joey Fish%22&quot;&gt;Joey Fish&lt;/a&gt;</description>
      <pubDate>Mon, 03 Mar 2025 04:46:08 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00078.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] Syntax issue of example 3.10.1-23e.</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00077.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2025/03/02&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Ada-comment for Pascal%22&quot;&gt;Ada-comment for Pascal&lt;/a&gt;</description>
      <pubDate>Sun, 02 Mar 2025 10:49:59 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00077.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] A.18.33 missing</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00076.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/12/31&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Tue, 31 Dec 2024 02:48:24 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00076.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] A.18.33 missing</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00075.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/12/19&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Dirk Craeynest%22&quot;&gt;Dirk Craeynest&lt;/a&gt;</description>
      <pubDate>Thu, 19 Dec 2024 08:00:15 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00075.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] A.18.33 missing</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00074.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/12/18&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Wed, 18 Dec 2024 18:16:04 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00074.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Final attempt for AI22-0097-1</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00073.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/04/15&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Ada-comment for Tucker Taft%22&quot;&gt;Ada-comment for Tucker Taft&lt;/a&gt;</description>
      <pubDate>Mon, 15 Apr 2024 23:28:42 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00073.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Final attempt for AI22-0097-1</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00072.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/04/03&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Ada-comment for Tucker Taft%22&quot;&gt;Ada-comment for Tucker Taft&lt;/a&gt;</description>
      <pubDate>Wed, 03 Apr 2024 02:52:09 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00072.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] Final attempt for AI22-0097-1</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00071.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/04/03&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Wed, 03 Apr 2024 02:11:13 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00071.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] AARM22 A.16.1(38.a/3)</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00070.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/03/21&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Thu, 21 Mar 2024 01:13:17 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00070.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] AI22-0055-1</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00069.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/03/21&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Thu, 21 Mar 2024 01:13:12 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00069.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] RM22 13.1(29/3)</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00068.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/03/19&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Tue, 19 Mar 2024 01:44:49 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00068.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] RM22 13.1(29/3)</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00067.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/03/19&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Tue, 19 Mar 2024 01:44:43 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00067.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] First attempt for AI22-0097-1</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00066.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/03/16&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Ada-comment for Tucker Taft%22&quot;&gt;Ada-comment for Tucker Taft&lt;/a&gt;</description>
      <pubDate>Sat, 16 Mar 2024 13:43:25 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00066.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] First attempt for AI22-0097-1</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00065.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/03/16&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Sat, 16 Mar 2024 10:11:35 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00065.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AI22-0055-1 and AI22-0097-1</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00064.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/03/12&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Tue, 12 Mar 2024 02:34:27 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00064.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AI22-0055-1 and AI22-0097-1</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00063.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/03/12&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22John Barnes%22&quot;&gt;John Barnes&lt;/a&gt;</description>
      <pubDate>Tue, 12 Mar 2024 01:20:21 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00063.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AI22-0055-1 and AI22-0097-1</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00062.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/03/09&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Sat, 09 Mar 2024 19:00:46 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00062.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AI22-0055-1 and AI22-0097-1</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00061.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/03/09&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Sat, 09 Mar 2024 18:54:46 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00061.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AI22-0055-1 and AI22-0097-1</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00060.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/03/09&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Sat, 09 Mar 2024 05:36:37 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00060.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AI22-0055-1 and AI22-0097-1</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00059.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/03/06&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Wed, 06 Mar 2024 11:44:55 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00059.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AI22-0055-1 and AI22-0097-1</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00058.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/03/05&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Tue, 05 Mar 2024 00:50:39 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00058.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] AI22-0055-1 and AI22-0097-1</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00057.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/03/02&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Sat, 02 Mar 2024 11:06:28 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00057.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Components of derived untagged discriminated record types</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00056.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/02/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Thu, 22 Feb 2024 03:41:22 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00056.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Components of derived untagged discriminated record types</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00055.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/02/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Jeffrey R. Carter%22&quot;&gt;Jeffrey R. Carter&lt;/a&gt;</description>
      <pubDate>Thu, 22 Feb 2024 03:38:56 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00055.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Components of derived untagged discriminated record types</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00054.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/02/20&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Ada-comment for Tucker Taft%22&quot;&gt;Ada-comment for Tucker Taft&lt;/a&gt;</description>
      <pubDate>Tue, 20 Feb 2024 12:53:58 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00054.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Components of derived untagged discriminated record types</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00053.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/02/20&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Ada-comment for Tucker Taft%22&quot;&gt;Ada-comment for Tucker Taft&lt;/a&gt;</description>
      <pubDate>Tue, 20 Feb 2024 12:53:50 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00053.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Components of derived untagged discriminated record types</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00052.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/02/20&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Tue, 20 Feb 2024 09:59:37 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00052.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Components of derived untagged discriminated record types</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00051.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/02/20&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Tue, 20 Feb 2024 07:43:11 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00051.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Components of derived untagged discriminated record types</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00050.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/02/20&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Jeffrey R. Carter%22&quot;&gt;Jeffrey R. Carter&lt;/a&gt;</description>
      <pubDate>Tue, 20 Feb 2024 07:39:22 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00050.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Components of derived untagged discriminated record types</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00049.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/02/19&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22John Barnes%22&quot;&gt;John Barnes&lt;/a&gt;</description>
      <pubDate>Mon, 19 Feb 2024 22:51:47 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00049.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Components of derived untagged discriminated record types</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00048.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/02/17&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Sat, 17 Feb 2024 13:05:44 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00048.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Components of derived untagged discriminated record types</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00047.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/02/15&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Thu, 15 Feb 2024 04:29:01 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00047.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Components of derived untagged discriminated record types</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00046.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/02/14&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Ada-comment for Tucker Taft%22&quot;&gt;Ada-comment for Tucker Taft&lt;/a&gt;</description>
      <pubDate>Wed, 14 Feb 2024 16:16:48 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00046.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Components of derived untagged discriminated record types</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00045.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2024/02/14&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Wed, 14 Feb 2024 11:36:34 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00045.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Components of derived untagged discriminated record types</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00044.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/12/26&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Tucker Taft%22&quot;&gt;Tucker Taft&lt;/a&gt;</description>
      <pubDate>Tue, 26 Dec 2023 19:49:06 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00044.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Components of derived untagged discriminated record types</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00043.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/12/23&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Sat, 23 Dec 2023 07:04:25 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00043.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] Components of derived untagged discriminated record types</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00042.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/12/23&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Sat, 23 Dec 2023 05:50:47 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00042.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AARM 13.13.1 Unfortunate wording</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00041.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/12/08&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Fri, 08 Dec 2023 02:57:04 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00041.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AARM 13.13.1 Unfortunate wording</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00040.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/12/08&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Fri, 08 Dec 2023 02:40:44 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00040.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AARM 13.13.1 Unfortunate wording</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00039.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/12/08&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Fri, 08 Dec 2023 02:34:34 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00039.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AARM 13.13.1 Unfortunate wording</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00038.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/11/18&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Jeffrey R. Carter%22&quot;&gt;Jeffrey R. Carter&lt;/a&gt;</description>
      <pubDate>Sat, 18 Nov 2023 05:25:04 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00038.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AARM 13.13.1 Unfortunate wording</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00037.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/11/17&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Fri, 17 Nov 2023 13:54:33 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00037.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AARM 13.13.1 Unfortunate wording</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00036.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/11/17&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Tucker Taft%22&quot;&gt;Tucker Taft&lt;/a&gt;</description>
      <pubDate>Fri, 17 Nov 2023 13:27:20 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00036.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AARM 13.13.1 Unfortunate wording</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00035.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/11/17&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Jean-Pierre Rosen%22&quot;&gt;Jean-Pierre Rosen&lt;/a&gt;</description>
      <pubDate>Fri, 17 Nov 2023 09:58:56 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00035.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AARM 13.13.1 Unfortunate wording</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00034.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/11/17&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Fri, 17 Nov 2023 03:28:19 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00034.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AARM 13.13.1 Unfortunate wording</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00033.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/11/17&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Ada-comment for %22&quot;&gt;Ada-comment for &lt;/a&gt;</description>
      <pubDate>Fri, 17 Nov 2023 01:51:36 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00033.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AARM 13.13.1 Unfortunate wording</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00032.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/11/16&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Tucker Taft%22&quot;&gt;Tucker Taft&lt;/a&gt;</description>
      <pubDate>Thu, 16 Nov 2023 14:49:43 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00032.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] AARM 13.13.1 Unfortunate wording</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00031.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/11/16&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Thu, 16 Nov 2023 14:28:00 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00031.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] AARM 13.13.2 typo</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00030.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/11/16&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Thu, 16 Nov 2023 14:25:21 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00030.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AARM Draft 35</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00029.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/09/13&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Wed, 13 Sep 2023 02:43:51 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00029.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] AARM Draft 35</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00028.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/05/08&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Mon, 08 May 2023 02:05:55 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00028.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Ada 2022 Draft 35 D.2.4</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00027.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/02/01&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Wed, 01 Feb 2023 14:11:49 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00027.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Ada 2022 Draft 35 D.2.4</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00026.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/01/31&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Tucker Taft%22&quot;&gt;Tucker Taft&lt;/a&gt;</description>
      <pubDate>Tue, 31 Jan 2023 19:49:35 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00026.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Ada 2022 Draft 35 D.2.4</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00025.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/01/31&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Ada-comment for Jeff Cousins%22&quot;&gt;Ada-comment for Jeff Cousins&lt;/a&gt;</description>
      <pubDate>Tue, 31 Jan 2023 13:53:14 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00025.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Ada 2022 Draft 35 D.2.4</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00024.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/01/31&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Jean-Pierre Rosen%22&quot;&gt;Jean-Pierre Rosen&lt;/a&gt;</description>
      <pubDate>Tue, 31 Jan 2023 09:48:47 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00024.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Ada 2022 Draft 35 D.2.4</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00023.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/01/31&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Tue, 31 Jan 2023 09:36:11 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00023.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Ada 2022 Draft 35 D.2.4</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00022.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/01/31&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Tue, 31 Jan 2023 09:32:02 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00022.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AARM 2022 D.6</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00021.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/01/31&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Tue, 31 Jan 2023 05:03:01 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00021.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Ada 2022 Draft 35 D.2.4</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00020.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/01/31&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Tue, 31 Jan 2023 04:54:34 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00020.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Ada 2022 Draft 35 D.2.4</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00019.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/01/30&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Tucker Taft%22&quot;&gt;Tucker Taft&lt;/a&gt;</description>
      <pubDate>Mon, 30 Jan 2023 21:54:52 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00019.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] Ada 2022 Draft 35 D.2.4</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00018.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/01/28&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Sat, 28 Jan 2023 06:14:33 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00018.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] AARM 2022 D.6</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00017.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/01/25&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Wed, 25 Jan 2023 18:48:36 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00017.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Ada 2022 Draft 34</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00016.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/01/21&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Sat, 21 Jan 2023 05:31:59 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00016.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Ada 2022 Draft 34</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00015.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/01/21&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Sat, 21 Jan 2023 05:21:43 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00015.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] Ada 2022 Draft 34</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00014.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/01/17&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Tue, 17 Jan 2023 12:29:16 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00014.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] Ada 2022 Draft 34</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00013.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2023/01/17&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Christoph &amp; Ursula Grein%22&quot;&gt;Christoph &amp; Ursula Grein&lt;/a&gt;</description>
      <pubDate>Tue, 17 Jan 2023 12:29:14 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00013.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] New process for commenting on the Ada Language Standard</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00012.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2022/12/19&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Tucker Taft%22&quot;&gt;Tucker Taft&lt;/a&gt;</description>
      <pubDate>Mon, 19 Dec 2022 00:59:41 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00012.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Ada 2022 Overview posted</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00011.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2022/09/23&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Dirk Craeynest%22&quot;&gt;Dirk Craeynest&lt;/a&gt;</description>
      <pubDate>Fri, 23 Sep 2022 08:57:48 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00011.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] Ada 2022 Overview posted</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00010.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2022/09/23&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Randy Brukardt%22&quot;&gt;Randy Brukardt&lt;/a&gt;</description>
      <pubDate>Fri, 23 Sep 2022 07:48:09 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00010.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] The current version of the ada grammar</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00009.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2022/09/22&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Tucker Taft%22&quot;&gt;Tucker Taft&lt;/a&gt;</description>
      <pubDate>Thu, 22 Sep 2022 06:06:01 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00009.html</guid>
   </item>
    <item>
      <title>[Ada-Comment] The current version of the ada grammar</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00008.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2022/09/21&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22daniel gaudry%22&quot;&gt;daniel gaudry&lt;/a&gt;</description>
      <pubDate>Wed, 21 Sep 2022 05:36:24 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00008.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Ada 202x - AI12-0236-1 declare expressions with exception handler.</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00007.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2020/05/29&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Ada-comment for jeffrey.cousins%22&quot;&gt;Ada-comment for jeffrey.cousins&lt;/a&gt;</description>
      <pubDate>Fri, 29 May 2020 04:27:36 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00007.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] AI12-0213-1 (End Record Syntax)</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00006.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2020/01/12&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Martin Dowie%22&quot;&gt;Martin Dowie&lt;/a&gt;</description>
      <pubDate>Sun, 12 Jan 2020 20:13:36 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00006.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Possible generalization of Procedural Iterator</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00005.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2019/12/10&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Fletcher, Joshua%22&quot;&gt;Fletcher, Joshua&lt;/a&gt;</description>
      <pubDate>Tue, 10 Dec 2019 19:49:56 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00005.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Possible generalization of Procedural Iterator</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00004.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2019/12/09&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Fletcher, Joshua%22&quot;&gt;Fletcher, Joshua&lt;/a&gt;</description>
      <pubDate>Mon, 09 Dec 2019 21:56:09 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00004.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Possible generalization of Procedural Iterator</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00003.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2019/12/09&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Fletcher, Joshua%22&quot;&gt;Fletcher, Joshua&lt;/a&gt;</description>
      <pubDate>Mon, 09 Dec 2019 20:16:23 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00003.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Easier Ada enumeration value assignments</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00002.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2019/12/09&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Fletcher, Joshua%22&quot;&gt;Fletcher, Joshua&lt;/a&gt;</description>
      <pubDate>Mon, 09 Dec 2019 20:08:51 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00002.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] Fwd: Simplify declaring enumeration types when they have a rep clause</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00001.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2019/12/09&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22Fletcher, Joshua%22&quot;&gt;Fletcher, Joshua&lt;/a&gt;</description>
      <pubDate>Mon, 09 Dec 2019 20:06:23 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00001.html</guid>
   </item>
    <item>
      <title>Re: [Ada-Comment] untagged types, early derivation, and user-defined equality</title>
      <link>http://www.mail-archive.com/ada-comment@ada-auth.org/msg00000.html</link>
      <description>&lt;font color=#6f6f6f&gt; 2019/11/11&lt;/font&gt; -- &lt;a href=&quot;http://www.mail-archive.com/search?l=ada-comment@ada-auth.org&amp;q=from:%22rosen%22&quot;&gt;rosen&lt;/a&gt;</description>
      <pubDate>Mon, 11 Nov 2019 03:01:33 GMT</pubDate>
      <guid isPermaLink="true">http://www.mail-archive.com/ada-comment@ada-auth.org/msg00000.html</guid>
   </item>
 
  </channel>
  </rss>
<!-- MHonArc v2.6.19+ -->
