[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#46016: broken Proof-General (emacs front-end to Coq)
|
From: |
zimoun |
|
Subject: |
bug#46016: broken Proof-General (emacs front-end to Coq) |
|
Date: |
Mon, 25 Jan 2021 11:54:43 +0100 |
Hi John,
On Sun, 24 Jan 2021 at 10:37, John Soo <jsoo1@asu.edu> wrote:
> I use Proof General pretty regularly. I think this is the same as
> https://issues.guix.gnu.org/45781.
No, I do not think it is the same issue.
As the Mark’s patch and my previous message [1] in this thread both
shown, I think the package is misconfigured. Therefore, how do you use
it? Maybe, I misunderstand something.
1: 86eeielcms.fsf@gmail.com">https://yhetil.org/guix/86eeielcms.fsf@gmail.com
Thanks,
simon