On 1/16/26 10:24 AM, Phil Budne via TUHS wrote: > Ken wrote a version of QED for the MIT CTSS time sharing system on the > 7090, that the Multics team was using for bootstrapping, then QED for > Multics. > The 1965 manual for Genie QED http://bitsavers.org/pdf/sds/9xx/940/ucbProjectGenie/30.60.30_QED_Nov65.pdf