Как сообщить Proof General, что «.csv»! = «.v»

Question

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

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

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

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