aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/README.emacs
blob: 0d27b607f689704ecc6ec9d82cd5ea5a4534ade7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

DESCRIPTION:

An emacs mode to help editing Coq vernacular files.

AUTHOR:

Jean-Christophe Filliatre (jcfillia@lri.fr),
	from the Caml mode of Xavier Leroy.

CONTENTS:

    coq.el         A major mode for editing Coq files in Gnu Emacs

USAGE:

Add the following lines to your .emacs file:

(setq auto-mode-alist (cons '("\\.v$" . coq-mode) auto-mode-alist))
(autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t)

The Coq major mode is triggered by visiting a file with extension .v,
or manually by M-x coq-mode. It gives you the correct syntax table for
the Coq language, and also a rudimentary indentation facility:

- pressing TAB at the beginning of a line indents the line like the line above

- extra TABs increase the indentation level (by 2 spaces by default)

- M-TAB decreases the indentation level.