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

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