From d1ecaef92c676736d751dbb3e31f74d84cc9f586 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
Date: Thu, 21 Mar 2002 13:32:36 +0000
Subject: added hook: proof-before-fontify-output-hook

---
 phox/phox-font.el     | 5 +++++
 phox/phox.el          | 2 ++
 phox/x-symbol-phox.el | 7 ++++++-
 3 files changed, 13 insertions(+), 1 deletion(-)

(limited to 'phox')

diff --git a/phox/phox-font.el b/phox/phox-font.el
index 49e9d0ed..da677764 100644
--- a/phox/phox-font.el
+++ b/phox/phox-font.el
@@ -68,9 +68,14 @@
     ("\\\\/" 0 1 36)
     ("/\\\\" 0 1 34)
     ("\\<or\\>" 0 3 218) 
+    ("\\<in\\>" 0 3 206) 
+    ("\\<inter\\>" 0 3 199) 
+    ("\\<union\\>" 0 3 200) 
+    ("\\<minus\\>" 0 3 45) 
     ("&" 0 1 217) 
     ("<->" 0 1 171)
     ("=>" 0 1 222)
+    ("\\<subset\\>" 0 4 204)
     ("->" 0 1 174)
     ("~" 0 1 216)
     ("\\\\" 0 1 108)))
diff --git a/phox/phox.el b/phox/phox.el
index eb5295d8..88396b5b 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -206,6 +206,7 @@
    font-lock-keywords  phox-font-lock-keywords
    proof-output-fontify-enable     t)
   (phox-sym-lock-start)
+  (add-hook 'proof-shell-handle-delayed-output-hook 'phox-sym-lock-font-lock-hook)
   (proof-response-config-done))
 
 (define-derived-mode phox-goals-mode proof-goals-mode
@@ -214,6 +215,7 @@
    font-lock-keywords  phox-font-lock-keywords
    proof-output-fontify-enable     t)
   (phox-sym-lock-start)
+  (add-hook 'proof-before-fontify-output-hook 'phox-sym-lock-font-lock-hook)
   (proof-goals-config-done))
 
 ;; The response buffer and goals buffer modes defined above are
diff --git a/phox/x-symbol-phox.el b/phox/x-symbol-phox.el
index 26e2f1f6..e67d8774 100644
--- a/phox/x-symbol-phox.el
+++ b/phox/x-symbol-phox.el
@@ -59,7 +59,12 @@
   '((greaterequal () ">=")
     (lessequal () "<=")
     (notequal () "!=")
-    (element () ":")
+    (element () "in")
+    (notelement () "notin")
+    (propersubset () "<<")
+    (intersection () "inter")
+    (union () "union")
+    (backslash3 () "minus")
     (universal1 () "/\\")
     (existential1 () "\\/")
     (logicalor () "or")
-- 
cgit v1.2.3