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 --- doc/refman/RefMan-uti.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc') diff --git a/doc/refman/RefMan-uti.tex b/doc/refman/RefMan-uti.tex index 85ed034306..07d711424e 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}, -- cgit v1.2.3