From afae49509f5cf06bb8a9573444dbf0137adfd6e0 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Sun, 21 Apr 2024 10:57:54 +0200 Subject: [PATCH] update Coq ignored extensions and add dired-x compatibility --- generic/proof-site.el | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/generic/proof-site.el b/generic/proof-site.el index e31d52725..a11a12605 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -44,7 +44,7 @@ '( ;; Main instances of PG. - (coq "Coq" "v" nil (".vo" ".glob")) + (coq "Coq" "v" nil (".vo" ".glob" ".vok" ".vos")) (easycrypt "EasyCrypt" "ec" "\\.eca?\\'") (phox "PhoX" "phx" nil (".phi" ".pho")) (qrhl "qRHL" "qrhl") @@ -303,7 +303,9 @@ Lisp variable `proof-assistants', or the contents of `proof-assistant-table'.") (fset proofgen-mode mode-stub)) (dolist (ext (nth 4 tableentry)) - (add-to-list 'completion-ignored-extensions ext)) + (add-to-list 'completion-ignored-extensions ext) + (when (boundp 'dired-omit-extensions) + (add-to-list 'dired-omit-extensions ext))) (setq assistants (cdr assistants)))))