blob: 2e2da4d3b3bf0a7e82f4bf8d540115802080772d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
(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))
|