RetroBBS - comp.lang.ada - Re: Common HOL Phase 1 Reports

Common HOL Phase 1 Reports

<ucnhc0$2ojck$1@dont-email.me>

https://www.rocksolidbbs.com/devel/article-flat.php?id=9975&group=comp.lang.ada#9975

Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: laguest@archeia.com (Luke A. Guest)
Newsgroups: comp.lang.ada
Subject: Common HOL Phase 1 Reports
Date: Wed, 30 Aug 2023 14:48:48 +0100
Organization: A noiseless patient Spider
Lines: 11
Message-ID: <ucnhc0$2ojck$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 30 Aug 2023 13:48:48 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="272f05c5a0ce32bbd1abe34e93f0c86e";
logging-data="2903444"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/PUHgSkpFwVy2j4QRN8sELqT7nFt9HqCs="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.14.0
Cancel-Lock: sha1:4qekI6/nAxSMozAyoQ8w4o0wPrs=
Content-Language: en-GB

by: Luke A. Guest - Wed, 30 Aug 2023 13:48 UTC

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

Re: Common HOL Phase 1 Reports

<uco8ac$2sau8$1@dont-email.me>

copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9976&group=comp.lang.ada#9976

copy link Newsgroups: comp.lang.ada

Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: laguest@archeia.com (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
Lines: 12
Message-ID: <uco8ac$2sau8$1@dont-email.me>
References: <ucnhc0$2ojck$1@dont-email.me>
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: <ucnhc0$2ojck$1@dont-email.me>

by: Luke A. Guest - Wed, 30 Aug 2023 20:20 UTC

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

Re: Common HOL Phase 1 Reports

<kl9o3cF40iiU1@mid.individual.net>

copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9977&group=comp.lang.ada#9977

copy link Newsgroups: comp.lang.ada

Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: findlaybill@blueyonder.co.uk (moi)
Newsgroups: comp.lang.ada
Subject: Re: Common HOL Phase 1 Reports
Date: Wed, 30 Aug 2023 21:45:32 +0100
Lines: 19
Message-ID: <kl9o3cF40iiU1@mid.individual.net>
References: <ucnhc0$2ojck$1@dont-email.me>
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: <ucnhc0$2ojck$1@dont-email.me>

by: moi - Wed, 30 Aug 2023 20:45 UTC

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.

Re: Common HOL Phase 1 Reports

<ucoakr$2smqj$1@dont-email.me>

copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9978&group=comp.lang.ada#9978

copy link Newsgroups: comp.lang.ada

Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: laguest@archeia.com (Luke A. Guest)
Newsgroups: comp.lang.ada
Subject: Re: Common HOL Phase 1 Reports
Date: Wed, 30 Aug 2023 22:00:11 +0100
Organization: A noiseless patient Spider
Lines: 8
Message-ID: <ucoakr$2smqj$1@dont-email.me>
References: <ucnhc0$2ojck$1@dont-email.me> <kl9o3cF40iiU1@mid.individual.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 30 Aug 2023 21:00:11 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="272f05c5a0ce32bbd1abe34e93f0c86e";
logging-data="3038035"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX198r3lXvi+jQTuygJlySedwGF3zM98BLvg="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.14.0
Cancel-Lock: sha1:F2GBd15yvyey5lTac/1WgZizbWI=
Content-Language: en-GB
In-Reply-To: <kl9o3cF40iiU1@mid.individual.net>

by: Luke A. Guest - Wed, 30 Aug 2023 21:00 UTC

On 30/08/2023 21:45, moi wrote:

> 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?

I've mentioned doing that on irc.

Re: Common HOL Phase 1 Reports

<ucp55i$344r6$1@dont-email.me>

copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9979&group=comp.lang.ada#9979

copy link Newsgroups: comp.lang.ada

Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: stef@genesix.org (Stéphane Rivière)
Newsgroups: comp.lang.ada
Subject: Re: Common HOL Phase 1 Reports
Date: Thu, 31 Aug 2023 06:32:50 +0200
Organization: La Maison
Lines: 20
Message-ID: <ucp55i$344r6$1@dont-email.me>
References: <ucnhc0$2ojck$1@dont-email.me>
Reply-To: stef@genesix.org
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 31 Aug 2023 04:32:50 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="48095b511309cbe70c2cab00f929da12";
logging-data="3281766"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18U67OaM7gkXuFb/93VaYNbGhh3GnqiQtA="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
Thunderbird/52.9.1
Cancel-Lock: sha1:sxuro798v4hOamUmM4Q7us4g1OA=
In-Reply-To: <ucnhc0$2ojck$1@dont-email.me>
Openpgp: preference=signencrypt
Content-Language: fr

by: Stéphane Rivière - Thu, 31 Aug 2023 04:32 UTC

Fascinating (C) Spock.

Big up for this work !

Le 30/08/2023 à 15:48, Luke A. Guest a écrit :
> 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

--
Stéphane Rivière
Ile d'Oléron - France

The meek are contesting the will.

devel / comp.lang.ada / Re: Common HOL Phase 1 Reports

Subject	Author
Common HOL Phase 1 Reports	Luke A. Guest
Re: Common HOL Phase 1 Reports	Luke A. Guest
Re: Common HOL Phase 1 Reports	moi
Re: Common HOL Phase 1 Reports	Luke A. Guest
Re: Common HOL Phase 1 Reports	Stéphane Rivière