每次我在 Emacs 缓冲区中打开 .csv 文件时，Proof General 都会启动(除非它已经启动)并重置我的窗口。这确实违背了我的 Emacs 习惯，需要停止。
我的 init.el 中处理一般证明的唯一部分是:
(load-file "~/.emacs.d/ProofGeneral-4.2/generic/proof-site.el")
(setq auto-mode-alist (cons '("\.v$" . coq-mode) auto-mode-alist))
(autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t)
最佳答案
用于匹配名称的正则表达式是在初始字符串翻译 .v$ 之后，因为单个反斜杠转义属于字符串读取器。因此，每个至少有两个字符且最后一个是 v 的名称都会被分配给 coq-mode。
解决方法很简单:在模式中使用双反斜杠。
关于csv - 如何告诉 Proof General ".csv"!= ".v"，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/32532655/