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 /tools | |
| 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>
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/README.emacs | 4 | ||||
| -rw-r--r-- | tools/coq-inferior.el | 4 | ||||
| -rw-r--r-- | tools/gallina.el | 4 |
3 files changed, 6 insertions, 6 deletions
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.") |