Hi John, On Sun, 24 Jan 2021 at 10:37, John Soo 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: https://yhetil.org/guix/86eeielcms.fsf@gmail.com Thanks, simon