From 0a0c538bcbc8a75600c42a2044a12f4f0a8de1f9 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
Date: Thu, 25 Jul 2002 08:55:29 +0000
Subject: change to support version 4.4 of x-symbol

---
 phox/phox-font.el | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'phox')

diff --git a/phox/phox-font.el b/phox/phox-font.el
index c3f5c9a3..020417ac 100644
--- a/phox/phox-font.el
+++ b/phox/phox-font.el
@@ -3,8 +3,10 @@
 ;;                       Font lock keywords
 ;;--------------------------------------------------------------------------;;
 
+(require 'proof-x-symbol)
+
 (defconst phox-font-lock-keywords
-  (list
+   (list
 ;commands
    '("(\\*\\([^*]\\|\\*+[^*)]\\)*\\(\\*+)\\|\\**$\\)"
     0 'font-lock-comment-face t)
@@ -69,7 +71,7 @@
     ("/\\\\" 0 1 34)
     ("\\<or\\>" 0 3 218) 
     ("\\<in\\>" 0 3 206) 
-    ("\\<notin\\>" 0 3 207) 
+    ("\\<notin\\>" 0 4 207) 
     ("\\<inter\\>" 0 3 199) 
     ("\\<union\\>" 0 3 200) 
     ("\\<minus\\>" 0 3 45) 
-- 
cgit v1.2.3