diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-12-15 14:29:18 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-12-15 14:29:18 +0000 |
| commit | 3711c8e4b154b47706f3206eee9eaf3c67da792b (patch) | |
| tree | 1bfe6c647e121efd746b8771da259965832617e8 /coq/coq.el | |
| parent | c2e22fc368b8d51f9e878f96b812b0bc602fb322 (diff) | |
radical new version of Credits and References section
Diffstat (limited to 'coq/coq.el')
| -rw-r--r-- | coq/coq.el | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -1,8 +1,7 @@ ;; coq.el Major mode for Coq proof assistant ;; Copyright (C) 1994 - 1998 LFCS Edinburgh. -;; Author: Healfdene Goguen and Thomas Kleymann -;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> -;; Please let us know if you could maintain this package! +;; Author: Healfdene Goguen +;; Maintainer: Patrick Loiseleur <Patrick.Loiseleur@lri.fr> ;; $Id$ |