diff options
Diffstat (limited to 'app-emacs/boogie-friends/files/50boogie-friends-gentoo.el')
| -rw-r--r-- | app-emacs/boogie-friends/files/50boogie-friends-gentoo.el | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/app-emacs/boogie-friends/files/50boogie-friends-gentoo.el b/app-emacs/boogie-friends/files/50boogie-friends-gentoo.el new file mode 100644 index 000000000000..60d2fd32c5ef --- /dev/null +++ b/app-emacs/boogie-friends/files/50boogie-friends-gentoo.el @@ -0,0 +1,10 @@ +(add-to-list 'load-path "@SITELISP@") +(autoload 'boogie-mode "boogie-mode" + "Major mode for editing Boogie programs." t) +(add-to-list 'auto-mode-alist '("\\.bpl\\'" . boogie-mode)) +(autoload 'dafny-mode "dafny-mode" + "Major mode for editing Dafny programs." t) +(add-to-list 'auto-mode-alist '("\\.dfy\\'" . dafny-mode)) +(autoload 'z3-smt2-mode "z3-smt2-mode" + "Major mode for editing SMT2 programs." t) +(add-to-list 'auto-mode-alist '("\\.smt2\\'" . z3-smt2-mode)) |