comp.lang.ada
 help / color / mirror / Atom feed
From: "Luke A. Guest" <laguest@archeia.com>
Subject: Re: Common HOL Phase 1 Reports
Date: Wed, 30 Aug 2023 21:20:28 +0100	[thread overview]
Message-ID: <uco8ac$2sau8$1@dont-email.me> (raw)
In-Reply-To: <ucnhc0$2ojck$1@dont-email.me>

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

  reply	other threads:[~2023-08-30 20:20 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 [this message]
2023-08-30 20:45 ` moi
2023-08-30 21:00   ` Luke A. Guest
2023-08-31  4:32 ` Stéphane Rivière
replies disabled

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