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 14959 invoked from network); 23 Jul 2022 05:47:20 -0000
Received: from minnie.tuhs.org (50.116.15.146)
  by inbox.vuxu.org with ESMTPUTF8; 23 Jul 2022 05:47:20 -0000
Received: from minnie.tuhs.org (localhost [IPv6:::1])
	by minnie.tuhs.org (Postfix) with ESMTP id 05598406D8;
	Sat, 23 Jul 2022 15:47:14 +1000 (AEST)
Received: from marmaro.de (marmaro.de [176.28.23.198])
	by minnie.tuhs.org (Postfix) with ESMTP id 5F03C40144
	for <tuhs@tuhs.org>; Sat, 23 Jul 2022 15:47:07 +1000 (AEST)
Received: by marmaro.de (masqmail 0.3.6-dev, from userid 1000)
	id 1oF7yj-4s4-00
	for <tuhs@tuhs.org>; Sat, 23 Jul 2022 07:47:05 +0200
To: tuhs@tuhs.org
In-reply-to: <202207221714.26MHEX7W016226@ultimate.com>
References: <CAKH6PiVxgf2844ugY22vbtNK37XXHDPAFfVNXTwVejwpYCYrdw@mail.gmail.com> <1oDOM5-6wl-00@marmaro.de> <1oEvLc-6uI-00@marmaro.de> <202207221714.26MHEX7W016226@ultimate.com>
Comments: In-reply-to Phil Budne <phil@ultimate.com>   message dated "Fri, 22 Jul 2022 13:14:33 -0400."
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <18727.1658555225.1@marmaro.de>
Content-Transfer-Encoding: quoted-printable
Date: Sat, 23 Jul 2022 07:47:05 +0200
From: markus schnalke <meillo@marmaro.de>
Message-ID: <1oF7yj-4s4-00@marmaro.de>
Message-ID-Hash: B7P7H73IFAHZ3BUWERNVGNXHBDSLWZPU
X-Message-ID-Hash: B7P7H73IFAHZ3BUWERNVGNXHBDSLWZPU
X-MailFrom: meillo@marmaro.de
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/B7P7H73IFAHZ3BUWERNVGNXHBDSLWZPU/>
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>

Thanks, that explains it.


meillo


[2022-07-22 13:14] Phil Budne <phil@ultimate.com>
>
> > 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.
> =