diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-08-14 00:11:33 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-08-14 00:11:33 +0100 |
commit | 1013bb04a30c552ec7ff5e3fe97074b0531a024d (patch) | |
tree | a94f2330bae429402db01020da9c60782e27af89 /sci-mathematics/proverif/files | |
parent | 40c113c340752d507394d37cd6b60abb741daed0 (diff) |
gentoo auto-resync : 14:08:2023 - 00:11:33
Diffstat (limited to 'sci-mathematics/proverif/files')
-rw-r--r-- | sci-mathematics/proverif/files/50proverif-gentoo.el | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/sci-mathematics/proverif/files/50proverif-gentoo.el b/sci-mathematics/proverif/files/50proverif-gentoo.el new file mode 100644 index 000000000000..2e2da4d3b3bf --- /dev/null +++ b/sci-mathematics/proverif/files/50proverif-gentoo.el @@ -0,0 +1,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)) |