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 --- INSTALL | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index 595fc606b..2b387b017 100644 --- a/INSTALL +++ b/INSTALL @@ -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.) -- cgit v1.2.3