comp.lang.ada
 help / color / mirror / Atom feed
From: "Stéphane Rivière" <stef@genesix.org>
Subject: Re: Common HOL Phase 1 Reports
Date: Thu, 31 Aug 2023 06:32:50 +0200	[thread overview]
Message-ID: <ucp55i$344r6$1@dont-email.me> (raw)
In-Reply-To: <ucnhc0$2ojck$1@dont-email.me>

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

      parent reply	other threads:[~2023-08-31  4:32 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
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 message]
replies disabled

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