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=-0.0 required=3.0 tests=BAYES_20,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!news.eternal-september.org!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: moi Newsgroups: comp.lang.ada Subject: Re: Common HOL Phase 1 Reports Date: Wed, 30 Aug 2023 21:45:32 +0100 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: individual.net G0z3d4WuQZG035FyehmECAn/7pFm8HmMVb6mpRmK8NQ2bhV0M8 Cancel-Lock: sha1:Yd1RXykL2Qy3rwC7W4AXk8Nxj1M= sha256:dYFtMN7GQWOjV4JJ7nZiy8s4gwDf0BpFAYO04pPK2k0= User-Agent: Mozilla Thunderbird Content-Language: en-GB In-Reply-To: Xref: news.eternal-september.org comp.lang.ada:65576 List-Id: On 30/08/2023 14:48, Luke A. Guest wrote: > Edward Fish has managed to get the DTIC to scan in the other language's > reports. > > This has been a combined effort between a few of us on IRC to try to get > the other two languages, blue and yellow released so we can see what > could've happened. > > This report contains all 4 language reports. > > https://apps.dtic.mil/sti/trecms/pdf/ADB950587.pdf > The effort is much appreciated, but that PDF is over 320MB! It does not make for easy reading. Could the four colour books not be put in separate files? -- Bill F.