From 6b649aba925b6f7462da07599fe67ebb12a3460e Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Wed, 28 Jul 2004 21:54:47 +0000 Subject: Imported Upstream version 8.0pl1 --- tools/README.emacs | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100755 tools/README.emacs (limited to 'tools/README.emacs') diff --git a/tools/README.emacs b/tools/README.emacs new file mode 100755 index 00000000..0d27b607 --- /dev/null +++ b/tools/README.emacs @@ -0,0 +1,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. + -- cgit v1.2.3