From 86471cef573a4ece8829ff1862b8b6ac481cdba4 Mon Sep 17 00:00:00 2001
From: Healfdene Goguen
Date: Thu, 11 Jun 1998 12:20:14 +0000
Subject: Added "Scheme" as definition keyword.

---
 coq-fontlock.el | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'coq-fontlock.el')

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
-- 
cgit v1.2.3