summaryrefslogtreecommitdiff
path: root/lang/coq/MESSAGE
blob: d45993a5d2e8c7acaa7e927ced91b16b58ced84e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
===========================================================================
$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)

===========================================================================