(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)