1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq.el b/coq/coq.el
index a8ba8187..9e84e455 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1,5 +1,5 @@
 ;;; coq.el --- Major mode for Coq proof assistant
-;; Copyright (C) 1994 - 1998 LFCS Edinburgh.
+;; Copyright (C) 1994-2009 LFCS Edinburgh.
 ;; Authors: Healfdene Goguen, Pierre Courtieu
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;; Maintainer: Pierre Courtieu <Pierre.Courtieu@cnam.fr>