From 5205d2df95632ff2801ed416c0d3484ce6ec2e11 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 Apr 2000 13:37:50 +0000
Subject: More decoration

---
 coq/coq-syntax.el | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index c323f83e..049f9f53 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -300,7 +300,13 @@
      (cons (proof-ids-to-regexp coq-tactics) 'proof-tactics-name-face)
      (cons (proof-ids-to-regexp coq-tacticals) 'proof-tacticals-name-face)
      (cons (proof-ids-to-regexp coq-reserved) 'font-lock-type-face)
-      
+     (cons "============================" 'font-lock-keyword-face)
+     (cons "Subtree proved!" 'font-lock-keyword-face)
+     (cons "subgoal [0-9]+ is:" 'font-lock-keyword-face)
+     (list "^\\([^ \n]+\\) \\(is defined\\)" 
+	   (list 2 'font-lock-keyword-face t)
+	   (list 1 'font-lock-function-name-face t))
+
      (list coq-goal-with-hole-regexp 2 'font-lock-function-name-face)
      (list coq-decl-with-hole-regexp 2 'proof-declaration-name-face)
      (list coq-defn-with-hole-regexp 2 'font-lock-function-name-face)
-- 
cgit v1.2.3