Devuan bug report logs - #696
proofgeneral: is designed for emacs24/25, does not work with emacs27 (present in Debian11/Devuan4)

Received: (at 696) by bugs.devuan.org; 2 Aug 2022 09:07:40 +0000
Return-Path: <mark@hindley.org.uk>
Delivered-To: devuanbugs@dyne.org
Received: from mail.dyne.org [141.95.83.167]
	by doc.devuan.org with IMAP (fetchmail-6.4.16)
	for <debbugs@localhost> (single-drop); Tue, 02 Aug 2022 09:07:40 +0000 (UTC)
Received: from mx.hindley.org.uk (193-36-131-86.cfwn.uk [193.36.131.86])
	(using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits))
	(No client certificate requested)
	by mail.dyne.org (Postfix) with ESMTPS id 264616619A3
	for <696@bugs.devuan.org>; Tue,  2 Aug 2022 11:07:16 +0200 (CEST)
Received: from apollo.hindleynet ([192.168.1.3] helo=hindley.org.uk)
	by mx.hindley.org.uk with smtp (Exim 4.84_2)
	(envelope-from <mark@hindley.org.uk>)
	id 1oIlxd-0001h8-Q3
	for 696@bugs.devuan.org; Tue, 02 Aug 2022 08:05:02 +0100
Received: (nullmailer pid 15037 invoked by uid 1000);
	Tue, 02 Aug 2022 07:05:01 -0000
Date: Tue, 2 Aug 2022 08:05:01 +0100
From: Mark Hindley <mark@hindley.org.uk>
To: 696@bugs.devuan.org
Subject: proofgeneral: is designed for emacs24/25, does not work with emacs27
Message-ID: <YujMnXs47UdcaTYS@hindley.org.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
X-Spam-Status: No, score=0.4 required=5.0 tests=RDNS_DYNAMIC,SPF_PASS
	autolearn=disabled version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mail.dyne.org