From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-65-14.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.3 required=3.0 tests=BAYES_20,NICE_REPLY_A, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: "Luke A. Guest" Newsgroups: comp.lang.ada Subject: Re: Common HOL Phase 1 Reports Date: Wed, 30 Aug 2023 21:20:28 +0100 Organization: A noiseless patient Spider Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 30 Aug 2023 20:20:28 -0000 (UTC) Injection-Info: dont-email.me; posting-host="272f05c5a0ce32bbd1abe34e93f0c86e"; logging-data="3025864"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/TztUQGASTOEIBEAVAdr1RbgHTDcSkUY0=" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.14.0 Cancel-Lock: sha1:lb4m4RVD+iQ0IiM270z+bN9Z8WQ= Content-Language: en-GB In-Reply-To: Xref: news.eternal-september.org comp.lang.ada:65575 List-Id: On 30/08/2023 14:48, Luke A. Guest wrote: > This report contains all 4 language reports. > > https://apps.dtic.mil/sti/trecms/pdf/ADB950587.pdf > Now we have all 5 reference docs out in the open, yes 5. I want to ask the people who were there at the time, were there any analyses of the Tartan language? Design: https://apps.dtic.mil/sti/citations/ADA062815