From 5aebc8149dc558d475099d6c831e08396b26fdee Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Sep 2009 09:05:08 +0000
Subject: (C) date

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>
-- 
cgit v1.2.3