我在 Ubuntu 12.04 LTS 上有 emacs 23.3.1，并带有一般证明 4.2。在“coq Holes”模式下编辑 coq 文件时（这是我破解 coq 时的默认设置），我无法使用选项卡。这样做会产生错误
错误类型参数 integer-or-marker-p nil proof general
在小缓冲区中。我该如何解决这个问题？
问问题
32 次
我在 Ubuntu 12.04 LTS 上有 emacs 23.3.1，并带有一般证明 4.2。在“coq Holes”模式下编辑 coq 文件时（这是我破解 coq 时的默认设置），我无法使用选项卡。这样做会产生错误
错误类型参数 integer-or-marker-p nil proof general
在小缓冲区中。我该如何解决这个问题？