我想在运行 Catalina 的 Mac 上升级 Emacs（目前是 26.1，来自 emacsformacosx.com，直接从 High Sierra 导入，使用 PG 4.5-git），并发现 Apple 通过引入这个版本的 Mac OS 使 Emacs 变得困难“检查恶意软件”，似乎很难绕过。
我恢复到我以前的 Emacs 版本，但是，从那时起，.+1SSReflect 的符号nat在 PG 的 Coq 目标缓冲区中没有正确显示（不过，我自己的符号得到了适当的管理）。succn它改为显示为标准构造函数。
有谁知道问题可能是什么（FWIW，我正在使用 CoQ 的 NixOS 版本）？