diff options
author | Anders Kaseorg <andersk@mit.edu> | 2014-09-12 15:03:10 -0400 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-10-16 22:28:43 +0200 |
commit | 63d0047f903020735dd6a814c35278ff53d0625f (patch) | |
tree | bbf8ede4a3826c337c8b8337eec52dded67d6a05 | |
parent | 282c4412574c955e9ff3bfdba1866b9afffa4955 (diff) |
More fallout from elisp rename
Commit 3e972b3ff8e532be233f70567c87512324c99b4e renamed coq.el,
coq-db.el, coq-syntax.el to gallina.el, gallina-db.el,
gallina-syntax.el without fixing up any of the references. Commit
30b58d43e48569afb50a35d3915ec7d453a61f5d only fixed up some of them.
Here are some more (hopefully all of them).
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
-rw-r--r-- | INSTALL | 2 | ||||
-rw-r--r-- | doc/refman/RefMan-uti.tex | 4 | ||||
-rwxr-xr-x | tools/README.emacs | 4 | ||||
-rw-r--r-- | tools/coq-inferior.el | 4 | ||||
-rw-r--r-- | tools/gallina.el | 4 |
5 files changed, 9 insertions, 9 deletions
@@ -161,7 +161,7 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS). in you .emacs file: (setq auto-mode-alist (cons '("\\.v$" . coq-mode) auto-mode-alist)) - (autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t) + (autoload 'coq-mode "gallina" "Major mode for editing Coq vernacular." t) 7- You can now clean all the sources. (You can even erase them.) diff --git a/doc/refman/RefMan-uti.tex b/doc/refman/RefMan-uti.tex index 85ed03430..07d711424 100644 --- a/doc/refman/RefMan-uti.tex +++ b/doc/refman/RefMan-uti.tex @@ -177,7 +177,7 @@ have been completely produced with {\tt coq-tex}. \subsection{The \Coq\ Emacs mode} -\Coq\ comes with a Major mode for \emacs, {\tt coq.el}. This mode provides +\Coq\ comes with a Major mode for \emacs, {\tt gallina.el}. This mode provides syntax highlighting and also a rudimentary indentation facility in the style of the Caml \emacs\ mode. @@ -186,7 +186,7 @@ Add the following lines to your \verb!.emacs! file: \begin{verbatim} (setq auto-mode-alist (cons '("\\.v$" . coq-mode) auto-mode-alist)) - (autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t) + (autoload 'coq-mode "gallina" "Major mode for editing Coq vernacular." t) \end{verbatim} The \Coq\ major mode is triggered by visiting a file with extension {\tt .v}, diff --git a/tools/README.emacs b/tools/README.emacs index 0d27b607f..4d8e3697a 100755 --- a/tools/README.emacs +++ b/tools/README.emacs @@ -10,14 +10,14 @@ Jean-Christophe Filliatre (jcfillia@lri.fr), CONTENTS: - coq.el A major mode for editing Coq files in Gnu Emacs + 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 "coq" "Major mode for editing Coq vernacular." t) +(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 diff --git a/tools/coq-inferior.el b/tools/coq-inferior.el index 15849859b..b79d97d66 100644 --- a/tools/coq-inferior.el +++ b/tools/coq-inferior.el @@ -52,7 +52,7 @@ ;; "~/.emacs": ;; ;; (setq auto-mode-alist (cons '("\\.v$" . coq-mode) auto-mode-alist)) -;; (autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t) +;; (autoload 'coq-mode "gallina" "Major mode for editing Coq vernacular." t) ;; (autoload 'run-coq "inferior-coq" "Run an inferior Coq process." t) ;; (autoload 'run-coq-other-window "inferior-coq" ;; "Run an inferior Coq process in a new window." t) @@ -78,7 +78,7 @@ ;; From -0.0 to 1.0 brought into existence. -(require 'coq) +(require 'gallina) (require 'comint) (setq coq-program-name "coqtop") diff --git a/tools/gallina.el b/tools/gallina.el index a70553673..7af2d765f 100644 --- a/tools/gallina.el +++ b/tools/gallina.el @@ -8,8 +8,8 @@ ; compatibility code for proofgeneral files (require 'coq-font-lock) ; ProofGeneral files. remember to remove coq version tests in -; coq-syntax.el -(require 'coq-syntax) +; gallina-syntax.el +(require 'gallina-syntax) (defvar coq-mode-map nil "Keymap used in Coq mode.") |