Skip to content

Files

Latest commit

43d6395 · Jun 13, 2018

History

History
This branch is 21121 commits behind rocq-prover/rocq:master.

tools

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Feb 27, 2018
Jun 13, 2018
Jul 31, 2015
Dec 28, 2017
Aug 1, 2017
Aug 1, 2017
Dec 9, 2014
Jul 31, 2015
Apr 13, 2018
Feb 27, 2018
Mar 8, 2018
May 7, 2018
Feb 27, 2018
May 7, 2018
May 7, 2018
Feb 27, 2018
Feb 27, 2018
Feb 27, 2018
Feb 27, 2018
May 21, 2018
Feb 6, 2017
Mar 31, 2018
Dec 9, 2014
Feb 27, 2018
Feb 27, 2018
Nov 19, 2017
May 31, 2018
May 31, 2018
May 31, 2018
Jan 15, 2018
Apr 21, 2011
May 4, 2018
Apr 6, 2014
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:

    gallina.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 "gallina" "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.