path: root/sci-mathematics/cvc3/files/50cvc3-gentoo.el

(add-to-list 'load-path "@SITELISP@")
(add-to-list 'auto-mode-alist '("\\.cvc\\'" . cvc-mode))
(autoload 'cvc-mode "cvc-mode" "CVC specifications editing mode." t)