From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org
X-Spam-Level: 
X-Spam-Status: No, score=-1.0 required=5.0 tests=MAILING_LIST_MULTI
	autolearn=ham autolearn_force=no version=3.4.4
Received: (qmail 19245 invoked from network); 22 Jul 2022 17:15:33 -0000
Received: from minnie.tuhs.org (50.116.15.146)
  by inbox.vuxu.org with ESMTPUTF8; 22 Jul 2022 17:15:33 -0000
Received: from minnie.tuhs.org (localhost [IPv6:::1])
	by minnie.tuhs.org (Postfix) with ESMTP id E3EC140712;
	Sat, 23 Jul 2022 03:14:57 +1000 (AEST)
Received: from mail.ultimate.com (mail.ultimate.com [104.225.1.121])
	by minnie.tuhs.org (Postfix) with ESMTPS id 009134013B
	for <tuhs@tuhs.org>; Sat, 23 Jul 2022 03:14:52 +1000 (AEST)
Received: from ultimate.com (localhost [127.0.0.1])
	by mail.ultimate.com (8.16.1/8.16.1) with ESMTPS id 26MHEXY3016227
	(version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NO);
	Fri, 22 Jul 2022 13:14:33 -0400 (EDT)
	(envelope-from phil@ultimate.com)
Received: (from phil@localhost)
	by ultimate.com (8.16.1/8.16.1/Submit) id 26MHEX7W016226;
	Fri, 22 Jul 2022 13:14:33 -0400 (EDT)
	(envelope-from phil)
From: Phil Budne <phil@ultimate.com>
Message-Id: <202207221714.26MHEX7W016226@ultimate.com>
Date: Fri, 22 Jul 2022 13:14:33 -0400
To: tuhs@tuhs.org, meillo@marmaro.de
References: <CAKH6PiVxgf2844ugY22vbtNK37XXHDPAFfVNXTwVejwpYCYrdw@mail.gmail.com>
 <1oDOM5-6wl-00@marmaro.de> <1oEvLc-6uI-00@marmaro.de>
In-Reply-To: <1oEvLc-6uI-00@marmaro.de>
User-Agent: Heirloom mailx 12.4 7/29/08
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID-Hash: SFZ6L4GZYJ33VVDVXMJZQXXJLXQAEXJS
X-Message-ID-Hash: SFZ6L4GZYJ33VVDVXMJZQXXJLXQAEXJS
X-MailFrom: phil@ultimate.com
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; header-match-tuhs.tuhs.org-0; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
X-Mailman-Version: 3.3.6b1
Precedence: list
Subject: [TUHS] Re: ed: f command (facts vs. file)
List-Id: The Unix Heritage Society mailing list <tuhs.tuhs.org>
Archived-At: <https://www.tuhs.org/mailman3/hyperkitty/list/tuhs@tuhs.org/message/SFZ6L4GZYJ33VVDVXMJZQXXJLXQAEXJS/>
List-Archive: <https://www.tuhs.org/mailman3/hyperkitty/list/tuhs@tuhs.org/>
List-Help: <mailto:tuhs-request@tuhs.org?subject=help>
List-Owner: <mailto:tuhs-owner@tuhs.org>
List-Post: <mailto:tuhs@tuhs.org>
List-Subscribe: <mailto:tuhs-join@tuhs.org>
List-Unsubscribe: <mailto:tuhs-leave@tuhs.org>

> What's the background for the comment about ``facts''?

https://www.bell-labs.com/usr/dmr/www/qedman.pdf
(for DMR's QED for GE-TSS on the GE 635):

    _History of QED_
    The original QED was implemented at the University of
    California, Berkeley [4]. Substantially redesigned versions
    were written by the second author (KLT) for the CTSS system
    at MIT [1] and in BCPL for MULTICS. The latter version has
    also been available under GE-TSS using I/O routines supplied
    by A. W. Winikoff.

    _This version of QED_
    The present incarnation of QED was implemented in GMAP by
    the first author (DMR). It offers noticeable improvements
    in speed, program size, and text packing density over the
    BCPL version, of which it is a direct descendant. New
    facilities include a redesigned Global command and a
    numerical capability

The F(acts) command appears on page 9 (pdf page 10)

    The F command causes QED to type out
    1) the number of words on QED's "free list",
    2) the highest memory location used for text storage, and
    3) the current core allocation.

    When the third number gets near 32K, take care not to exceed the core
    maximum.