Как сказать Proof General, что ".csv"!= ".V"

Question

Каждый раз, когда я открываю файл.csv в буфере Emacs, запускается Proof General (если он еще не запущен) и сбрасывает мои окна. Это действительно сбрасывает мою канавку Emacs и должно остановиться.

Единственная часть моего init.el, которая имеет дело с Proof General, такова:

(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)

Answer 1

Ваше регулярное выражение для сопоставления имен - после первоначального перевода строки .v$ потому что одиночная обратная косая черта принадлежит читателю строки. В результате каждое имя, которое имеет по крайней мере два символа, а последнее является v, назначен coq-mode,

Исправить это легко: используйте двойную обратную косую черту в шаблоне.