diff options
| author | Emilio Jesus Gallego Arias | 2018-10-02 04:23:05 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-02 04:27:15 +0200 |
| commit | ec751f0d48fa3d6268ed4210d74efac23bc87cbc (patch) | |
| tree | ac7c8f130dfa654ac35f7a836e0b04a542972449 /tools/README.emacs | |
| parent | 05786b23cf0d031c93998c59f6f2f94d6049b027 (diff) | |
[tools] Remove unused / obsolete files.
TTBOMK we don't use any of these files since a long time.
Diffstat (limited to 'tools/README.emacs')
| -rw-r--r-- | tools/README.emacs | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/tools/README.emacs b/tools/README.emacs deleted file mode 100644 index 4d8e3697a0..0000000000 --- a/tools/README.emacs +++ /dev/null @@ -1,31 +0,0 @@ - -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. - |