From 7cfa18895d1369d551d8d2df14cb423082ee1fcd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 Apr 2000 13:30:17 +0000
Subject: Extra decoration.

---
 lego/lego-syntax.el | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/lego/lego-syntax.el b/lego/lego-syntax.el
index 0373a5cb..363044de 100644
--- a/lego/lego-syntax.el
+++ b/lego/lego-syntax.el
@@ -76,7 +76,11 @@
    
      ;; Kinds
      (cons (concat "\\<Prop\\>\\|\\<Type\\s *\\(("
-		   lego-id ")\\)?") 'font-lock-type-face))
+		   lego-id ")\\)?") 'font-lock-type-face)
+
+     ;; Special hacks!!
+     (cons "Discharge.." 'font-lock-keyword-face)
+     (cons "\\*\\*\\* QED \\*\\*\\*" 'font-lock-keyword-face))
   "*Font-lock table for LEGO terms.")
 
 ;; Instead of "[^:]+", it may be better to use "lego-id". Furthermore,
-- 
cgit v1.2.3