diff options
| author |  Healfdene Goguen <da+pg-hhg@inf.ed.ac.uk> | 1998-06-11 12:20:14 +0000 |
|---|---|---|
| committer | Healfdene Goguen <da+pg-hhg@inf.ed.ac.uk> | 1998-06-11 12:20:14 +0000 |
| commit | 86471cef573a4ece8829ff1862b8b6ac481cdba4 (patch) | |
| tree | 524b788d2468adf257dcd457ee01703984afb9ff /coq-fontlock.el | |
| parent | 2d3d69f63fdc6d7d1606952bc0e8e5ed733e5c45 (diff) | |
Added "Scheme" as definition keyword.
Diffstat (limited to 'coq-fontlock.el')
| -rw-r--r-- | coq-fontlock.el | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/coq-fontlock.el b/coq-fontlock.el index 14fbc281..9d106d7c 100644 --- a/coq-fontlock.el +++ b/coq-fontlock.el @@ -4,6 +4,9 @@ ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> ;; $Log$ +;; Revision 1.14 1998/06/11 12:20:14 hhg +;; Added "Scheme" as definition keyword. +;; ;; Revision 1.13 1998/06/10 11:38:04 hhg ;; Added "Mutual Inductive" as definition keyword. ;; Changed "\\s " into "\\s-" as whitespace pattern. @@ -79,6 +82,7 @@ "Fixpoint" "Inductive" "Mutual\\s-+Inductive" +"Scheme" )) (defvar coq-keywords-goal |