From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.7 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from minnie.tuhs.org (minnie.tuhs.org [45.79.103.53]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 8a169087 for ; Mon, 4 Feb 2019 20:54:16 +0000 (UTC) Received: by minnie.tuhs.org (Postfix, from userid 112) id 910D79B8A5; Tue, 5 Feb 2019 06:54:15 +1000 (AEST) Received: from minnie.tuhs.org (localhost [127.0.0.1]) by minnie.tuhs.org (Postfix) with ESMTP id 124009B894; Tue, 5 Feb 2019 06:53:45 +1000 (AEST) Authentication-Results: minnie.tuhs.org; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.b="rqtMPgu+"; dkim-atps=neutral Received: by minnie.tuhs.org (Postfix, from userid 112) id DC5A09B894; Tue, 5 Feb 2019 06:53:41 +1000 (AEST) Received: from mail-lj1-f180.google.com (mail-lj1-f180.google.com [209.85.208.180]) by minnie.tuhs.org (Postfix) with ESMTPS id 007EB9B892 for ; Tue, 5 Feb 2019 06:53:40 +1000 (AEST) Received: by mail-lj1-f180.google.com with SMTP id n18-v6so1082075lji.7 for ; Mon, 04 Feb 2019 12:53:40 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=Nffk489+r6hV3IG4Z1ScrTdQrt+khSZkeTAoWM7V6DI=; b=rqtMPgu+uCL4ZclgwI3Bg96t1ASFHmlModYboUB6xJvwlNXH7K0mFMihEmrAM8tK67 vflWUDhPmZFQ12sIh3j9WecdQtu+MJ3wKIEO5J2yVKwzJr9MFAyzpbq8eCR56s53osML onDMSTMjvENoG88bhF2xax9xH+yTOxnfkRDW81Df1vfzW7XBbUGyZnNwqnx7dh4k+5mR vZEm8jga1n8PyAV/rtBWduUSiuqF0VKxvZ27NgUpdFdKFbnEF/r7v+icUJq6eccwN5wb pljyT7OtwipPXFzZ04vt45rKiKBDTAMSye+46VU7jTlDdLGWBhtackKcvf25J5B93NEN CtAQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=Nffk489+r6hV3IG4Z1ScrTdQrt+khSZkeTAoWM7V6DI=; b=sofWm4eKJUnuBIcq+mAc0vXWXxSrppTGi+ljTdWru1DRRxqcV920s15iXV1OKH4L6i 63tPIAraC+WqYUNXGjZaxjnH0kk8n4A34DZ2tk1mTZpJpA/3iThTB8MDbOtBFnmW3ukd 2pWmpKs9439KobL8om4IlskPgNNu6qx6gQv808XZxSODsg6fIiCCYGCVSrc2FOw8tkIt 4fUlBy5r4aOXn3ytdeZmt9S0BZQDOCv5LCi/C3YZSHa8ts57kARNOFZtPEYU4fYtFUk1 bGVF0VVjiYTjN6jldCTCaSXDjus+3Ddp+rSjryp3HctaOyXvO6c2DbkiRS3JQ64LNtCW nFSA== X-Gm-Message-State: AHQUAuab/PKi7wxynecb32CeeBki/OGbxvRK1FbB+hM8nfXaOrpLQBkc mcTLhC6q2ICOx2ZylnOixoa8Hq6yGm2mi4s9tn8ka3Km X-Google-Smtp-Source: AHgI3Ia61Q49jCSp88AK6MEBWfN4ZHnSiRdxV6mYdkjZpH3lSkQ07JlfyBzcpst8Qko+LAEcoaQij/PqEeSoSFZ5mEA= X-Received: by 2002:a2e:4503:: with SMTP id s3-v6mr774330lja.44.1549313618735; Mon, 04 Feb 2019 12:53:38 -0800 (PST) MIME-Version: 1.0 From: Christopher Browne Date: Mon, 4 Feb 2019 15:53:27 -0500 Message-ID: To: tuhs@minnie.tuhs.org Content-Type: text/plain; charset="UTF-8" Subject: [TUHS] Software Archeology: QED X-BeenThere: tuhs@minnie.tuhs.org X-Mailman-Version: 2.1.26 Precedence: list List-Id: The Unix Heritage Society mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: tuhs-bounces@minnie.tuhs.org Sender: "TUHS" Sorry to drop in on the thread a bit late, and, strictly speaking, not (according to headers) connected to the thread; I am well acquainted with David Tilbrook, who is sadly not doing too well; it is not surprising that Leah Neukirchen was unable to get a hold of him as he hasn't been using email for some number of years > 1, and is definitely not programming. Hugh Redelmeier and I are looking into trying to do some preservation of his QEF toolset that included the QED port. Neither Hugh nor I are ourselves QED users; I'm about 30 years into my Emacs learning curve, albeit using Remacs (the Rust implementation) lately, while Hugh maintains JOVE to the extent to which it remains maintained. http://www.cs.toronto.edu/pub/hugh/jove-dev/ -- When confronted by a difficult problem, solve it by reducing it to the question, "How would the Lone Ranger handle this?"