diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 10:42:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 10:42:23 +0000 |
| commit | b35ce5388cfbd86b2be92e7acb56ff4aa215f58a (patch) | |
| tree | aa6f57349bb07993bf80136e6dd18a8fe0e6ea84 /coq/coq-abbrev.el | |
| parent | 41a4f20e3250cbe225fb8363738a6c6ac35d0368 (diff) | |
Clean whitespace
Diffstat (limited to 'coq/coq-abbrev.el')
| -rw-r--r-- | coq/coq-abbrev.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 7a24bf6c..a5131f10 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -1,5 +1,5 @@ ;;; coq-abbrev.el --- coq abbrev table and menus for ProofGeneral mode -;; Copyright (C) 1994 - 1998 LFCS Edinburgh. +;; Copyright (C) 1994 - 1998 LFCS Edinburgh. ;; Authors: Healfdene Goguen, Pierre Courtieu ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; Maintainer: Pierre Courtieu <Pierre.Courtieu@cnam.fr> @@ -172,4 +172,3 @@ (provide 'coq-abbrev) - |