diff options
| author | David Aspinall | 2005-11-25 12:19:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-11-25 12:19:41 +0000 |
| commit | f2a591d98c9c3d6a67278334fb433983cb98f67e (patch) | |
| tree | 3e93f0415252be50d832a95d037b5c7b58d365d2 | |
| parent | a2bc782f7b08d1fa32d2dc375706f178b14588be (diff) | |
Fix Pierre's email
| -rw-r--r-- | coq/coq.el | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,7 +1,7 @@ ;;; coq.el --- Major mode for Coq proof assistant ;; Copyright (C) 1994 - 1998 LFCS Edinburgh. -;; Author: Healfdene Goguen -;; Maintainer: Pierre Courtieu <courtieu@lri.fr> +;; Authors: Healfdene Goguen, Pierre Courtieu +;; Maintainer: Pierre Courtieu <Pierre.Courtieu@cnam.fr> ;; $Id$ |