comp.lang.ada
 help / color / mirror / Atom feed
* Common HOL Phase 1 Reports
@ 2023-08-30 13:48 Luke A. Guest
  2023-08-30 20:20 ` Luke A. Guest
                   ` (2 more replies)
  0 siblings, 3 replies; 5+ messages in thread
From: Luke A. Guest @ 2023-08-30 13:48 UTC (permalink / raw)


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

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: Common HOL Phase 1 Reports
  2023-08-30 13:48 Common HOL Phase 1 Reports Luke A. Guest
@ 2023-08-30 20:20 ` Luke A. Guest
  2023-08-30 20:45 ` moi
  2023-08-31  4:32 ` Stéphane Rivière
  2 siblings, 0 replies; 5+ messages in thread
From: Luke A. Guest @ 2023-08-30 20:20 UTC (permalink / raw)


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

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: Common HOL Phase 1 Reports
  2023-08-30 13:48 Common HOL Phase 1 Reports Luke A. Guest
  2023-08-30 20:20 ` Luke A. Guest
@ 2023-08-30 20:45 ` moi
  2023-08-30 21:00   ` Luke A. Guest
  2023-08-31  4:32 ` Stéphane Rivière
  2 siblings, 1 reply; 5+ messages in thread
From: moi @ 2023-08-30 20:45 UTC (permalink / raw)


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.

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: Common HOL Phase 1 Reports
  2023-08-30 20:45 ` moi
@ 2023-08-30 21:00   ` Luke A. Guest
  0 siblings, 0 replies; 5+ messages in thread
From: Luke A. Guest @ 2023-08-30 21:00 UTC (permalink / raw)


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.

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: Common HOL Phase 1 Reports
  2023-08-30 13:48 Common HOL Phase 1 Reports Luke A. Guest
  2023-08-30 20:20 ` Luke A. Guest
  2023-08-30 20:45 ` moi
@ 2023-08-31  4:32 ` Stéphane Rivière
  2 siblings, 0 replies; 5+ messages in thread
From: Stéphane Rivière @ 2023-08-31  4:32 UTC (permalink / raw)


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

^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2023-08-31  4:32 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-08-30 13:48 Common HOL Phase 1 Reports Luke A. Guest
2023-08-30 20:20 ` Luke A. Guest
2023-08-30 20:45 ` moi
2023-08-30 21:00   ` Luke A. Guest
2023-08-31  4:32 ` Stéphane Rivière

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox