diff options
Diffstat (limited to 'tools/gallina.el')
| -rw-r--r-- | tools/gallina.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/gallina.el b/tools/gallina.el index f4c4b033d..a70553673 100644 --- a/tools/gallina.el +++ b/tools/gallina.el @@ -1,9 +1,9 @@ -;; coq.el --- Coq mode editing commands for Emacs +;; gallina.el --- Coq mode editing commands for Emacs ;; ;; Jean-Christophe Filliatre, march 1995 ;; Honteusement pompé de caml.el, Xavier Leroy, july 1993. ;; -;; modified by Marco Maggesi <maggesi@math.unifi.it> for coq-inferior +;; modified by Marco Maggesi <maggesi@math.unifi.it> for gallina-inferior ; compatibility code for proofgeneral files (require 'coq-font-lock) @@ -137,6 +137,6 @@ Does nothing otherwise." (coq-in-indentation)) (backward-delete-char-untabify coq-mode-indentation)))) -;;; coq.el ends here +;;; gallina.el ends here -(provide 'coq) +(provide 'gallina) |