diff options
| author | David Aspinall | 2007-11-12 18:15:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-11-12 18:15:31 +0000 |
| commit | 5b209528fc1eef36d53d4cb1fbf65b6fe76a1098 (patch) | |
| tree | c9c74b17ab0328b6a05d5525ae98faee8b7a2efa | |
| parent | 1ef51ffae9dba2795ce7e535540f0a1b669d51b2 (diff) | |
Fix http://proofgeneral.inf.ed.ac.uk/trac/ticket/160
| -rw-r--r-- | coq/coq-syntax.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 7be523d2..7060f2d0 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -1,6 +1,6 @@ - ;; coq-syntax.el Font lock expressions for Coq -;; Copyright (C) 1997, 1998 LFCS Edinburgh. -;; Authors: Thomas Kleymann and Healfdene Goguen +;; coq-syntax.el Font lock expressions for Coq +;; Copyright (C) 1997-2007 LFCS Edinburgh. +;; Authors: Thomas Kleymann, Healfdene Goguen, Pierre Courtieu ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; Maintainer: Pierre Courtieu <courtieu@lri.fr> @@ -700,6 +700,7 @@ Used by `coq-goal-command-p'" "Qed" "End" "Admitted" + "Abort" )) (defvar coq-keywords-save |