Commit 96fcbf7f authored by Maxime Bombar's avatar Maxime Bombar

Configure cryptoverif mode for emacs

parent 07df7185
......@@ -141,11 +141,22 @@ LaTeX-section-label))
;; Install ProVerif mode
(setq auto-mode-alist
(cons '("\\.horn$" . proverif-horn-mode)
(cons '("\\.horntype$" . proverif-horntype-mode)
(cons '("\\.pv[l]?$" . proverif-pv-mode)
(cons '("\\.horn$" . proverif-horn-mode)
(cons '("\\.horntype$" . proverif-horntype-mode)
(cons '("\\.pv[l]?$" . proverif-pv-mode)
(cons '("\\.pi$" . proverif-pi-mode) auto-mode-alist)))))
(autoload 'proverif-pv-mode "proverif" "Major mode for editing ProVerif code." t)
(autoload 'proverif-pi-mode "proverif" "Major mode for editing ProVerif code." t)
(autoload 'proverif-horn-mode "proverif" "Major mode for editing ProVerif code." t)
(autoload 'proverif-horntype-mode "proverif" "Major mode for editing ProVerif code." t)
;; Install CryptoVerif mode
(setq auto-mode-alist
(cons '("\\.cv[l]?$" . cryptoverif-mode)
(cons '("\\.ocv[l]?$" . cryptoverifo-mode)
(cons '("\\.pcv$" . pcv-mode) auto-mode-alist))))
(autoload 'cryptoverif-mode "cryptoverif" "Major mode for editing CryptoVerif code." t)
(autoload 'cryptoverifo-mode "cryptoverif" "Major mode for editing CryptoVerif code." t)
(autoload 'pcv-mode "cryptoverif" "Major mode for editing ProVerif and CryptoVerif code." t)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment