15 lines
663 B
Plaintext
15 lines
663 B
Plaintext
===========================================================================
|
|
$NetBSD: MESSAGE,v 1.1.1.1 2003/03/22 20:21:16 kristerw Exp $
|
|
|
|
You may wish to add the following to your ~/.emacs:
|
|
|
|
(add-to-list 'auto-mode-alist '("\\.v$" . coq-mode))
|
|
(autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t)
|
|
(autoload 'run-coq "coq-inferior" "Run an inferior Coq process." t)
|
|
(autoload 'run-coq-other-window "coq-inferior"
|
|
"Run an inferior Coq process in a new window." t)
|
|
(autoload 'run-coq-other-frame "coq-inferior"
|
|
"Run an inferior Coq process in a new frame." t)
|
|
|
|
===========================================================================
|