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