From: "Luke A. Guest" <laguest@archeia.com>
Subject: Re: Common HOL Phase 1 Reports
Date: Wed, 30 Aug 2023 22:00:11 +0100 [thread overview]
Message-ID: <ucoakr$2smqj$1@dont-email.me> (raw)
In-Reply-To: <kl9o3cF40iiU1@mid.individual.net>
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.
next prev parent reply other threads:[~2023-08-30 21:00 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 [this message]
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