help / color / mirror / Atom feed
From: "Luke A. Guest" <>
Subject: Common HOL Phase 1 Reports
Date: Wed, 30 Aug 2023 14:48:48 +0100	[thread overview]
Message-ID: <ucnhc0$2ojck$> (raw)

Edward Fish has managed to get the DTIC to scan in the other language's 

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.

             reply	other threads:[~2023-08-30 13:48 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-08-30 13:48 Luke A. Guest [this message]
2023-08-30 20:20 ` Common HOL Phase 1 Reports 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
replies disabled

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