From 63d0047f903020735dd6a814c35278ff53d0625f Mon Sep 17 00:00:00 2001
From: Anders Kaseorg
Date: Fri, 12 Sep 2014 15:03:10 -0400
Subject: 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>
---
 tools/README.emacs    | 4 ++--
 tools/coq-inferior.el | 4 ++--
 tools/gallina.el      | 4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'tools')

diff --git a/tools/README.emacs b/tools/README.emacs
index 0d27b607f6..4d8e3697a0 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 15849859b6..b79d97d66e 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 a705536738..7af2d765fa 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.")
-- 
cgit v1.2.3