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/gallina.el | |
| 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/gallina.el')
| -rw-r--r-- | tools/gallina.el | 4 |
1 files changed, 2 insertions, 2 deletions
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.") |