mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-12-17 23:48:20 +00:00
13 lines
650 B
EmacsLisp
13 lines
650 B
EmacsLisp
(add-to-list 'load-path "@SITELISP@")
|
|
(autoload 'proverif-horn-mode "proverif"
|
|
"Major mode for editing ProVerif code." t)
|
|
(autoload 'proverif-horntype-mode "proverif"
|
|
"Major mode for editing ProVerif code." t)
|
|
(autoload 'proverif-pi-mode "proverif"
|
|
"Major mode for editing ProVerif code." t)
|
|
(autoload 'proverif-pv-mode "proverif"
|
|
"Major mode for editing ProVerif code." t)
|
|
(add-to-list 'auto-mode-alist '("\\.horn$" . proverif-horn-mode))
|
|
(add-to-list 'auto-mode-alist '("\\.horntype$" . proverif-horntype-mode))
|
|
(add-to-list 'auto-mode-alist '("\\.pi$" . proverif-pi-mode))
|
|
(add-to-list 'auto-mode-alist '("\\.pv[l]?$" . proverif-pv-mode))
|